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

Observation of squeezed light from one atom excited with two photons

Single quantum emitters like atoms are well-known as non-classical light sources which can produce photons one by one at given times, with reduced intensity noise. However, the light field emitted by a single atom can exhibit much richer dynamics. A prominent example is the predicted ability for a single atom to produce quadrature-squeezed light, with sub-shot-noise amplitude or phase fluctuations. It has long been foreseen, though, that such squeezing would be "at least an order of magnitude more difficult" to observe than the emission of single photons. Squeezed beams have been generated using macroscopic and mesoscopic media down to a few tens of atoms, but despite experimental efforts, single-atom squeezing has so far escaped observation. Here we generate squeezed light with a single atom in a high-finesse optical resonator. The strong coupling of the atom to the cavity field induces a genuine quantum mechanical nonlinearity, several orders of magnitude larger than for usual macroscopic media. This produces observable quadrature squeezing with an excitation beam containing on average only two photons per system lifetime. In sharp contrast to the emission of single photons, the squeezed light stems from the quantum coherence of photon pairs emitted from the system. The ability of a single atom to induce strong coherent interactions between propagating photons opens up new perspectives for photonic quantum logic with single emittersComment: Main paper (4 pages, 3 figures) + Supplementary information (5 pages, 2 figures). Revised versio

Optomagnetic composite medium with conducting nanoelements

A new type of metal-dielectric composites has been proposed that is characterised by a resonance-like behaviour of the effective permeability in the infrared and visible spectral ranges. This material can be referred to as optomagnetic medium. The analytical formalism developed is based on solving the scattering problem for considered inclusions with impedance boundary condition, which yields the current and charge distributions within the inclusions. The presence of the effective magnetic permeability and its resonant properties lead to novel optical effects and open new possible applications.Comment: 48 pages, 13 figures. accepted to Phys. Rev. B; to appear vol. 66, 200

Fast cavity-enhanced atom detection with low noise and high fidelity

Cavity quantum electrodynamics describes the fundamental interactions between light and matter, and how they can be controlled by shaping the local environment. For example, optical microcavities allow high-efficiency detection and manipulation of single atoms. In this regime fluctuations of atom number are on the order of the mean number, which can lead to signal fluctuations in excess of the noise on the incident probe field. Conversely, we demonstrate that nonlinearities and multi-atom statistics can together serve to suppress the effects of atomic fluctuations when making local density measurements on clouds of cold atoms. We measure atom densities below 1 per cavity mode volume near the photon shot-noise limit. This is in direct contrast to previous experiments where fluctuations in atom number contribute significantly to the noise. Atom detection is shown to be fast and efficient, reaching fidelities in excess of 97% after 10 us and 99.9% after 30 us.Comment: 7 pages, 4 figures, 1 table; extensive changes to format and discussion according to referee comments; published in Nature Communications with open acces

A Comparative Study of Different In Vitro Lung Cell Culture Systems to Assess the Most Beneficial Tool for Screening the Potential Adverse Effects of Carbon Nanotubes

To determine the potential inhalatory risk posed by carbon nanotubes (CNTs), a tier-based approach beginning with an in vitro assessment must be adopted. The purpose of this study therefore was to compare 4 commonly used in vitro systems of the human lung (human blood monocyte-derived macrophages [MDM] and monocyte-derived dendritic cells [MDDC], 16HBE14o- epithelial cells, and a sophisticated triple cell co-culture model [TCC-C]) via assessment of the biological impact of different CNTs (single-walled CNTs [SWCNTs] and multiwalled CNTs [MWCNTs]) over 24h. No significant cytotoxicity was observed with any of the cell types tested, although a significant (p < .05), dose-dependent increase in tumor necrosis factor (TNF)-α following SWCNT and MWCNT exposure at concentrations up to 0.02mg/ml to MDM, MDDC, and the TCC-C was found. The concentration of TNF-α released by the MDM and MDDC was significantly higher (p < .05) than the TCC-C. Significant increases (p < .05) in interleukin (IL)-8 were also found for both 16HBE14o- epithelial cells and the TCC-C after SWCNTs and MWCNTs exposure up to 0.02mg/ml. The TCC-C, however, elicited a significantly (p < .05) higher IL-8 release than the epithelial cells. The oxidative potential of both SWCNTs and MWCNTs (0.005-0.02mg/ml) measured by reduced glutathione (GSH) content showed a significant difference (p < .05) between each monoculture and the TCC-C. It was concluded that because only the co-culture system could assess each endpoint adequately, that, in comparison with monoculture systems, multicellular systems that take into consideration important cell type-to-cell type interactions could be used as predictive in vitro screening tools for determining the potential deleterious effects associated with CNT

Quantum computing implementations with neutral particles

We review quantum information processing with cold neutral particles, that is, atoms or polar molecules. First, we analyze the best suited degrees of freedom of these particles for storing quantum information, and then we discuss both single- and two-qubit gate implementations. We focus our discussion mainly on collisional quantum gates, which are best suited for atom-chip-like devices, as well as on gate proposals conceived for optical lattices. Additionally, we analyze schemes both for cold atoms confined in optical cavities and hybrid approaches to entanglement generation, and we show how optimal control theory might be a powerful tool to enhance the speed up of the gate operations as well as to achieve high fidelities required for fault tolerant quantum computation.Comment: 19 pages, 12 figures; From the issue entitled "Special Issue on Neutral Particles

Strong Interactions of Single Atoms and Photons near a Dielectric Boundary

Modern research in optical physics has achieved quantum control of strong interactions between a single atom and one photon within the setting of cavity quantum electrodynamics (cQED). However, to move beyond current proof-of-principle experiments involving one or two conventional optical cavities to more complex scalable systems that employ N >> 1 microscopic resonators requires the localization of individual atoms on distance scales < 100 nm from a resonator's surface. In this regime an atom can be strongly coupled to a single intracavity photon while at the same time experiencing significant radiative interactions with the dielectric boundaries of the resonator. Here, we report an initial step into this new regime of cQED by way of real-time detection and high-bandwidth feedback to select and monitor single Cesium atoms localized ~100 nm from the surface of a micro-toroidal optical resonator. We employ strong radiative interactions of atom and cavity field to probe atomic motion through the evanescent field of the resonator. Direct temporal and spectral measurements reveal both the significant role of Casimir-Polder attraction and the manifestly quantum nature of the atom-cavity dynamics. Our work sets the stage for trapping atoms near micro- and nano-scopic optical resonators for applications in quantum information science, including the creation of scalable quantum networks composed of many atom-cavity systems that coherently interact via coherent exchanges of single photons.Comment: 8 pages, 5 figures, Supplemental Information included as ancillary fil

Coupling ultracold atoms to mechanical oscillators

In this article we discuss and compare different ways to engineer an interface between ultracold atoms and micro- and nanomechanical oscillators. We start by analyzing a direct mechanical coupling of a single atom or ion to a mechanical oscillator and show that the very different masses of the two systems place a limit on the achievable coupling constant in this scheme. We then discuss several promising strategies for enhancing the coupling: collective enhancement by using a large number of atoms in an optical lattice in free space, coupling schemes based on high-finesse optical cavities, and coupling to atomic internal states. Throughout the manuscript we discuss both theoretical proposals and first experimental implementations.Comment: 19 pages, 9 figure

Translational toxicology in setting occupational exposure limits for dusts and hazard classification – a critical evaluation of a recent approach to translate dust overload findings from rats to humans

Background We analyze the scientific basis and methodology used by the German MAK Commission in their recommendations for exposure limits and carcinogen classification of “granular biopersistent particles without known specific toxicity” (GBS). These recommendations are under review at the European Union level. We examine the scientific assumptions in an attempt to reproduce the results. MAK’s human equivalent concentrations (HECs) are based on a particle mass and on a volumetric model in which results from rat inhalation studies are translated to derive occupational exposure limits (OELs) and a carcinogen classification. Methods We followed the methods as proposed by the MAK Commission and Pauluhn 2011. We also examined key assumptions in the metrics, such as surface area of the human lung, deposition fractions of inhaled dusts, human clearance rates; and risk of lung cancer among workers, presumed to have some potential for lung overload, the physiological condition in rats associated with an increase in lung cancer risk. Results The MAK recommendations on exposure limits for GBS have numerous incorrect assumptions that adversely affect the final results. The procedures to derive the respirable occupational exposure limit (OEL) could not be reproduced, a finding raising considerable scientific uncertainty about the reliability of the recommendations. Moreover, the scientific basis of using the rat model is confounded by the fact that rats and humans show different cellular responses to inhaled particles as demonstrated by bronchoalveolar lavage (BAL) studies in both species. Conclusion Classifying all GBS as carcinogenic to humans based on rat inhalation studies in which lung overload leads to chronic inflammation and cancer is inappropriate. Studies of workers, who have been exposed to relevant levels of dust, have not indicated an increase in lung cancer risk. Using the methods proposed by the MAK, we were unable to reproduce the OEL for GBS recommended by the Commission, but identified substantial errors in the models. Considerable shortcomings in the use of lung surface area, clearance rates, deposition fractions; as well as using the mass and volumetric metrics as opposed to the particle surface area metric limit the scientific reliability of the proposed GBS OEL and carcinogen classification.International Carbon Black Associatio

Micromechanical Properties of Injection-Molded Starch–Wood Particle Composites

The micromechanical properties of injection molded starch–wood particle composites were investigated as a function of particle content and humidity conditions. The composite materials were characterized by scanning electron microscopy and X-ray diffraction methods. The microhardness of the composites was shown to increase notably with the concentration of the wood particles. In addition,creep behavior under the indenter and temperature dependence were evaluated in terms of the independent contribution of the starch matrix and the wood microparticles to the hardness value. The influence of drying time on the density and weight uptake of the injection-molded composites was highlighted. The results revealed the role of the mechanism of water evaporation, showing that the dependence of water uptake and temperature was greater for the starch–wood composites than for the pure starch sample. Experiments performed during the drying process at 70°C indicated that the wood in the starch composites did not prevent water loss from the samples.Peer reviewe