EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++

Low-level programming languages with weak/static type systems, such as C and C++, are vulnerable to errors relating to the misuse of memory at runtime, such as (sub-)object bounds overflows, (re)use-after-free, and type confusion. Such errors account for many security and other undefined behavior bugs for programs written in these languages. In this paper, we introduce the notion of dynamically typed C/C++, which aims to detect such errors by dynamically checking the "effective type" of each object before use at runtime. We also present an implementation of dynamically typed C/C++ in the form of the Effective Type Sanitizer (EffectiveSan). EffectiveSan enforces type and memory safety using a combination of low-fat pointers, type meta data and type/bounds check instrumentation. We evaluate EffectiveSan against the SPEC2006 benchmark suite and the Firefox web browser, and detect several new type and memory errors. We also show that EffectiveSan achieves high compatibility and reasonable overheads for the given error coverage. Finally, we highlight that EffectiveSan is one of only a few tools that can detect sub-object bounds errors, and uses a novel approach (dynamic type checking) to do so.Comment: To appear in the Proceedings of 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI2018

Atomic Scale Memory at a Silicon Surface

The limits of pushing storage density to the atomic scale are explored with a memory that stores a bit by the presence or absence of one silicon atom. These atoms are positioned at lattice sites along self-assembled tracks with a pitch of 5 atom rows. The writing process involves removal of Si atoms with the tip of a scanning tunneling microscope. The memory can be reformatted by controlled deposition of silicon. The constraints on speed and reliability are compared with data storage in magnetic hard disks and DNA.Comment: 13 pages, 5 figures, accepted by Nanotechnolog

Atomic Tunneling from a STM/AFM tip: Dissipative Quantum Effects from Phonons

We study the effects of phonons on the tunneling of an atom between two surfaces. In contrast to an atom tunneling in the bulk, the phonons couple very strongly, and qualitatively change the tunneling behavior. This is the first example of {\it ohmic} coupling from phonons for a two-state system. We propose an experiment in which an atom tunnels from the tip of an STM, and show how its behavior would be similar to the Macroscopic Quantum Coherence behavior predicted for SQUIDS. The ability to tune and calculate many parameters would lead to detailed tests of the standard theories. (For a general intro to this work on the on the World-Wide-Web: http://www.lassp.cornell.edu. Click on ``Entertaining Science Done Here'' and ``Quantum Tunneling of Atoms'')Comment: 12 pages, ReVTex3.0, two figures (postscript). This is a (substantially) revised version of cond-mat/9406043. More info (+ postscript text) at : http://www.lassp.cornell.edu/ardlouis/publications.htm

Imaging Oxygen Defects and their Motion at a Manganite Surface

Manganites are technologically important materials, used widely as solid oxide fuel cell cathodes: they have also been shown to exhibit electroresistance. Oxygen bulk diffusion and surface exchange processes are critical for catalytic action, and numerous studies of manganites have linked electroresistance to electrochemical oxygen migration. Direct imaging of individual oxygen defects is needed to underpin understanding of these important processes. It is not currently possible to collect the required images in the bulk, but scanning tunnelling microscopy could provide such data for surfaces. Here we show the first atomic resolution images of oxygen defects at a manganite surface. Our experiments also reveal defect dynamics, including oxygen adatom migration, vacancy-adatom recombination and adatom bistability. Beyond providing an experimental basis for testing models describing the microscopics of oxygen migration at transition metal oxide interfaces, our work resolves the long-standing puzzle of why scanning tunnelling microscopy is more challenging for layered manganites than for cuprates.Comment: 7 figure

Aharonov-Bohm interferences from local deformations in graphene

One of the most interesting aspects of graphene is the tied relation between structural and electronic properties. The observation of ripples in the graphene samples both free standing and on a substrate has given rise to a very active investigation around the membrane-like properties of graphene and the origin of the ripples remains as one of the most interesting open problems in the system. The interplay of structural and electronic properties is successfully described by the modelling of curvature and elastic deformations by fictitious gauge fields that have become an ex- perimental reality after the suggestion that Landau levels can form associated to strain in graphene and the subsequent experimental confirmation. Here we propose a device to detect microstresses in graphene based on a scanning-tunneling-microscopy setup able to measure Aharonov-Bohm inter- ferences at the nanometer scale. The interferences to be observed in the local density of states are created by the fictitious magnetic field associated to elastic deformations of the sample.Comment: Some bugs fixe

Driving-Induced Symmetry Breaking in the Spin-Boson System

A symmetric dissipative two-state system is asymptotically completely delocalized independent of the initial state. We show that driving-induced localization at long times can take place when both the bias and tunneling coupling energy are harmonically modulated. Dynamical symmetry breaking on average occurs when the driving frequencies are odd multiples of some reference frequency. This effect is universal, as it is independent of the dissipative mechanism. Possible candidates for an experimental observation are flux tunneling in the variable barrier rf SQUID and magnetization tunneling in magnetic molecular clusters.Comment: 4 pages, 4 figures, to be published in PR

Flat-Band Ferromagnetism in Organic Polymers Designed by a Computer Simulation

By coupling a first-principles, spin-density functional calculation with an exact diagonalization study of the Hubbard model, we have searched over various functional groups for the best case for the flat-band ferromagnetism proposed by R. Arita et al. [Phys. Rev. Lett. {\bf 88}, 127202 (2002)] in organic polymers of five-membered rings. The original proposal (poly-aminotriazole) has turned out to be the best case among the materials examined, where the reason why this is so is identified here. We have also found that the ferromagnetism, originally proposed for the half-filled flat band, is stable even when the band filling is varied away from the half-filling. All these make the ferromagnetism proposed here more experimentally inviting.Comment: 11 pages, 13figure