The subject of this paper is flowand context-insensitive pointer analysis. We present, for the first time, a fieldsensitive constraint-based analysis for C and evaluate its effects on time and precision. In addition, we study in detail four solving algorithms, including the Heintze-Tardieu solver, over 7 common C programs ranging in size from 5000 to 150,000 lines of code. Our results indicate ...

In this lecture we will get to know several techniques that can be grouped by the general definition of sketching. When using the sketching technique each element is replaced by a more compact representation of itself. An alternative algorithm is run on the more compact representations. Finally, one has to show that this algorithm gives the same result as the original algorithm with high probab...

Absolute salinity measurement of seawater has become a key issue in thermodynamic models of the oceans. One of the most direct ways is to measure the seawater refractive index which is related to density and can therefore be related to the absolute salinity. Recent advances in high resolution position sensitive devices enable us to take advantage of small beam deviation measurements using refra...

The neutron powder diffractometer NPD at the Manuel Lujan Neutron Scattering Center (MLNSC) at Los Alamos National Laboratory is the neutron powder diffractometer with the highest resolution in the United States. We are currently upgrading NPD by adding a large number of position-sensitive detectors in the backscattering position. The upgraded instrument will make it possible to collect data fr...

Suppose that an analyst observes inconsistent choices from a decision maker. Can the analyst determine whether this inconsistency arises from choice error (imperfect maximization of a single preference) or from preference heterogeneity (deliberate maximization of multiple preferences)? I model choice data as generated from context-dependent preferences, where contexts vary across observations, ...