Incremental and Modular Context-sensitive Analysis

Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many situations in which modifications are small and isolated within a few components, and it is desirable to reuse as much as possible previous analysis results. This has been achieved to date through incremental global analysis fixpoint algorithms that achieve cost reductions at fine levels of granularity, such as changes in program lines. However, these fine-grained techniques are not directly applicable to modular programs, nor are they designed to take advantage of modular structures. This paper describes, implements, and evaluates an algorithm that performs efficient context-sensitive analysis incrementally on modular partitions of programs. The experimental results show that the proposed modular algorithm shows significant improvements, in both time and memory consumption, when compared to existing non-modular, fine-grain incremental analysis techniques. Furthermore, thanks to the proposed inter-modular propagation of analysis information, our algorithm also outperforms traditional modular analysis even when analyzing from scratch.Comment: 56 pages, 27 figures. To be published in Theory and Practice of Logic Programming. v3 corresponds to the extended version of the ICLP2018 Technical Communication. v4 is the revised version submitted to Theory and Practice of Logic Programming. v5 (this one) is the final author version to be published in TPL

A skyrmion-based spin-torque nano-oscillator

A model for a spin-torque nano-oscillator based on the self-sustained oscillation of a magnetic skyrmion is presented. The system involves a circular nanopillar geometry comprising an ultrathin film free magnetic layer with a strong Dzyaloshinkii-Moriya interaction and a polariser layer with a vortex-like spin configuration. It is shown that spin-transfer torques due to current flow perpendicular to the film plane leads to skyrmion gyration that arises from a competition between geometric confinement due to boundary edges and the vortex-like polarisation of the spin torques. A phenomenology for such oscillations is developed and quantitative analysis using micromagnetics simulations is presented. It is also shown that weak disorder due to random anisotropy variations does not influence the main characteristics of the steady-state gyration.Comment: 15 pages, 6 figure

Temperature dependent dynamic and static magnetic response in magnetic tunnel junctions with Permalloy layers

Ferromagnetic resonance and static magnetic properties of CoFe/Al2O3/CoFe/Py and CoFe/Al2O3/CoFeB/Py magnetic tunnel junctions and of 25nm thick single-layer Permalloy(Py) films have been studied as a function of temperature down to 2K. The temperature dependence of the ferromagnetic resonance excited in the Py layers in magnetic tunnel junctions shows knee-like enhancement of the resonance frequency accompanied by an anomaly in the magnetization near 60K. We attribute the anomalous static and dynamic magnetic response at low temperatures to interface stress induced magnetic reorientation transition at the Py interface which could be influenced by dipolar soft-hard layer coupling through the Al2O3 barrier

Helicopter Wake Encounters in the Context of RECAT-EU

This work presents a first attempt to apply the RECAT-EU (European Wake Turbulence Categorisation and Separation Minima) methodology of fixed-wing aircraft separation to helicopters. The approach is based on a classification of helicopters in categories using their rotor diameter and weight combined with wake comparisons between different classes of fixed-wing aircraft and helicopters. Where necessary the upset caused by a wake encounter to a simple helicopter model is used to establish safe separation distances. The work is based on a very limited amount of data for wake strengths but shows that the principles of the RECAT-EU methodology are directly applicable to helicopters at least for landing and take-off. This research calls for further measurements of helicopter wakes with modern methods so that the suggested separation distances can be further ascertained and ultimately refined allowing for better and safer integration of fixed and rotary-wing traffic at airports

Crystal engineering using functionalized adamantane

We performed a first principles investigation on the structural, electronic, and optical properties of crystals made of chemically functionalized adamantane molecules. Several molecular building blocks, formed by boron and nitrogen substitutional functionalizations, were considered to build zincblende and wurtzite crystals, and the resulting structures presented large bulk moduli and cohesive energies, wide and direct bandgaps, and low dielectric constants (low-$\kappa$ materials). Those properties provide stability for such structures up to room temperature, superior to those of typical molecular crystals. This indicates a possible road map for crystal engineering using functionalized diamondoids, with potential applications ranging from space filling between conducting wires in nanodevices to nano-electro-mechanical systems

Structural, Electronic, and Vibrational Properties of Amino-adamantane and Rimantadine Isomers

We performed a first principles total energy investigation on the structural, electronic, and vibrational properties of adamantane molecules, functionalized with amine and ethanamine groups. We computed the vibrational signatures of amantadine and rimantadine isomers with the functional groups bonded to different carbon sites. By comparing our results with recent infrared and Raman spectroscopic data, we discuss the possible presence of different isomers in experimental samples

Biaxial Strain in the Hexagonal Plane of MnAs Thin Films: The Key to Stabilize Ferromagnetism to Higher Temperature

The alpha-beta magneto-structural phase transition in MnAs/GaAs(111) epilayers is investigated by elastic neutron scattering. The in-plane parameter of MnAs remains almost constant with temperature from 100 K to 420 K, following the thermal evolution of the GaAs substrate. This induces a temperature dependent biaxial strain that is responsible for an alpha-beta phase coexistence and, more important, for the stabilization of the ferromagnetic alpha-phase at higher temperature than in bulk. We explain the premature appearance of the beta-phase at 275 K and the persistence of the ferromagnetic alpha-phase up to 350 K with thermodynamical arguments based on the MnAs phase diagram. It results that the biaxial strain in the hexagonal plane is the key parameter to extend the ferromagnetic phase well over room temperature.Comment: 4 pages, 3 figures, accepted for publication in Physical Review Letter