Learning a Static Analyzer from Data

To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under analysis. While important, manually addressing these challenges is difficult for at least two reasons: (i) the effects on the overall analysis can be non-trivial, and (ii) as the size and complexity of modern libraries increase, so is the number of cases the analysis must handle. In this paper we present a new, automated approach for creating static analyzers: instead of manually providing the various inference rules of the analyzer, the key idea is to learn these rules from a dataset of programs. Our method consists of two ingredients: (i) a synthesis algorithm capable of learning a candidate analyzer from a given dataset, and (ii) a counter-example guided learning procedure which generates new programs beyond those in the initial dataset, critical for discovering corner cases and ensuring the learned analysis generalizes to unseen programs. We implemented and instantiated our approach to the task of learning JavaScript static analysis rules for a subset of points-to analysis and for allocation sites analysis. These are challenging yet important problems that have received significant research attention. We show that our approach is effective: our system automatically discovered practical and useful inference rules for many cases that are tricky to manually identify and are missed by state-of-the-art, manually tuned analyzers

Pauli paramagnetism of an ideal Fermi gas

We show how to use trapped ultracold atoms to measure the magnetic susceptibility of a two-component Fermi gas. The method is illustrated for a non-interacting gas of $^6$Li, using the tunability of interactions around a wide Feshbach resonances. The susceptibility versus effective magnetic field is directly obtained from the inhomogeneous density profile of the trapped atomic cloud. The wings of the cloud realize the high field limit where the polarization approaches 100%, which is not accessible for an electron gas.Comment: 5 pages, 4 figure

Bioactive composites for bone tissue engineering

One of the major challenges of bone tissue engineering is the production of a suitable scaffold material. In this review the current composite materials options available are considered covering both the methods of both production and assessing the scaffolds. A range of production routes have been investigated ranging from the use of porogens to produce the porosity through to controlled deposition methods. The testing regimes have included mechanical testing of the materials produced through to in vivo testing of the scaffolds. While the ideal scaffold material has not yet been produced, progress is being made

Revisiting port performance measurement: A hybrid multi-stakeholder framework for the modelling of port performance indicators

This study develops a new port performance measurement model by taking the perspectives from different port stakeholders. The novelty lies in the modelling of interdependencies among port performance measures, and the combination of weights of interdependent measures with both qualitative and quantitative evaluations of the measures from multiple stakeholders for quantitative port performance measurement. It represents an effective performance measurement tool and offers a diagnostic instrument for performance evaluation and/or monitoring of ports and terminals so as to satisfy different requirements of various port stakeholders in a flexible manner. © 201

Z_3 Strings and their Interactions

We construct Z_3 vortex solutions in a model in which SU(3) is spontaneously broken to Z_3. The model is truncated to one in which there are only two dimensionless free parameters and the interaction of vortices within this restricted set of models is studied numerically. We find that there is a curve in the two dimensional space of parameters for which the energy of two asymptotically separated vortices equals the energy of the vortices at vanishing separation. This suggests that the inter-vortex potential for Z_3 strings might be flat for these couplings, much like the case of U(1) strings in the Bogomolnyi limit. However, we argue that the intervortex potential is attractive at short distances and repulsive at large separations leading to the possibility of unstable bound states of Z_3 vortices.Comment: 8 pages; mainly corrected typos in table