In an experiment in the broad-band photon beam at FNAL, photoproduction of the ~(3095) was observ... more In an experiment in the broad-band photon beam at FNAL, photoproduction of the ~(3095) was observed in the dimuon decay mode. The following cross sections for the interaction y +Be+~+ X are measured l
The accuracy of density measurements and position resolution in flash (40 ns) radiography of thic... more The accuracy of density measurements and position resolution in flash (40 ns) radiography of thick objects with 24 Gev/c protons is investigated. A global model fit to step wedge data is shown to give a good description spanning the periodic table. The parameters obtained from the step wedge data are used to predict transmission through the French Test Object (FTO), a test object of nested spheres, to a precision better than 1%. Multiple trials have been used to show that the systematic errors are less than 2%. Absolute agreement between the average radiographic measurements of the density and the known density is 1%. Spatial resolution has been measured to be 200 lm at the center of the FTO. These data verify expectations of the benefits provided by high energy hadron radiography for thick objects. V
We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to com... more We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type inference, pointer analysis, string analysis, integer and boolean constant propagation, and control-flow analysis. In addition, JSAI allows for analysis control-flow sensitivity (i.e., context-, path-, and heap-sensitivity) to be modularly configured without requiring any changes to the analysis implementation. JSAI is designed to be provably sound with respect to a specific concrete semantics for JavaScript, which has been extensively tested against existing production-quality JavaScript implementations. We provide a comprehensive evaluation of JSAI's performance and precision using an extensive benchmark suite. This benchmark suite includes real-world JavaScript applications, machine-generated JavaScript code via Emscripten, and browser addons. We use JSAI's configurability to evaluate a large number of analysis sensitivities (some well-known, som...
The accuracy of density measurements and position resolution in flash (40 ns) radiography of thic... more The accuracy of density measurements and position resolution in flash (40 ns) radiography of thick objects with 24 Gev/c protons is investigated. A global model fit to step wedge data is shown to give a good description spanning the periodic table. The parameters obtained from the step wedge data are used to predict transmission through the French Test Object (FTO), a test object of nested spheres, to a precision better than 1%. Multiple trials have been used to show that the systematic errors are less than 2%. Absolute agreement between the average radiographic measurements of the density and the known density is 1%. Spatial resolution has been measured to be 200 lm at the center of the FTO. These data verify expectations of the benefits provided by high energy hadron radiography for thick objects.
Development of eddy current testing system for inspection of combustion chambers of liquid rocket... more Development of eddy current testing system for inspection of combustion chambers of liquid rocket engines Rev. Sci. Instrum. 84, 014701 (2013) Eddy current effects in plain and hollow cylinders spinning inside homogeneous magnetic fields: Application to magnetic resonance J. Chem. Phys. 137, 154201 (2012) Defect characterisation based on heat diffusion using induction thermography testing Rev. Sci. Instrum. 83, 104702 Fully automated measurement setup for non-destructive characterization of thermoelectric materials near room temperature Rev. Sci. Instrum. 83, 074904 An analytical model of a ferrite-cored inductor used as an eddy current probe
In an experiment in the broad-band photon beam at FNAL, photoproduction of the ~(3095) was observ... more In an experiment in the broad-band photon beam at FNAL, photoproduction of the ~(3095) was observed in the dimuon decay mode. The following cross sections for the interaction y +Be+~+ X are measured l
The accuracy of density measurements and position resolution in flash (40 ns) radiography of thic... more The accuracy of density measurements and position resolution in flash (40 ns) radiography of thick objects with 24 Gev/c protons is investigated. A global model fit to step wedge data is shown to give a good description spanning the periodic table. The parameters obtained from the step wedge data are used to predict transmission through the French Test Object (FTO), a test object of nested spheres, to a precision better than 1%. Multiple trials have been used to show that the systematic errors are less than 2%. Absolute agreement between the average radiographic measurements of the density and the known density is 1%. Spatial resolution has been measured to be 200 lm at the center of the FTO. These data verify expectations of the benefits provided by high energy hadron radiography for thick objects. V
We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to com... more We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type inference, pointer analysis, string analysis, integer and boolean constant propagation, and control-flow analysis. In addition, JSAI allows for analysis control-flow sensitivity (i.e., context-, path-, and heap-sensitivity) to be modularly configured without requiring any changes to the analysis implementation. JSAI is designed to be provably sound with respect to a specific concrete semantics for JavaScript, which has been extensively tested against existing production-quality JavaScript implementations. We provide a comprehensive evaluation of JSAI's performance and precision using an extensive benchmark suite. This benchmark suite includes real-world JavaScript applications, machine-generated JavaScript code via Emscripten, and browser addons. We use JSAI's configurability to evaluate a large number of analysis sensitivities (some well-known, som...
The accuracy of density measurements and position resolution in flash (40 ns) radiography of thic... more The accuracy of density measurements and position resolution in flash (40 ns) radiography of thick objects with 24 Gev/c protons is investigated. A global model fit to step wedge data is shown to give a good description spanning the periodic table. The parameters obtained from the step wedge data are used to predict transmission through the French Test Object (FTO), a test object of nested spheres, to a precision better than 1%. Multiple trials have been used to show that the systematic errors are less than 2%. Absolute agreement between the average radiographic measurements of the density and the known density is 1%. Spatial resolution has been measured to be 200 lm at the center of the FTO. These data verify expectations of the benefits provided by high energy hadron radiography for thick objects.
Development of eddy current testing system for inspection of combustion chambers of liquid rocket... more Development of eddy current testing system for inspection of combustion chambers of liquid rocket engines Rev. Sci. Instrum. 84, 014701 (2013) Eddy current effects in plain and hollow cylinders spinning inside homogeneous magnetic fields: Application to magnetic resonance J. Chem. Phys. 137, 154201 (2012) Defect characterisation based on heat diffusion using induction thermography testing Rev. Sci. Instrum. 83, 104702 Fully automated measurement setup for non-destructive characterization of thermoelectric materials near room temperature Rev. Sci. Instrum. 83, 074904 An analytical model of a ferrite-cored inductor used as an eddy current probe
Uploads
Papers by John Sarracino