The Meaning of Memory Safety

We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. First, we show how a small memory-safe language validates a noninterference property: a program can neither affect nor be affected by unreachable parts of the state. Second, we extend separation logic, a proof system for heap-manipulating programs, with a memory-safe variant of its frame rule. The new rule is stronger because it applies even when parts of the program are buggy or malicious, but also weaker because it demands a stricter form of separation between parts of the program state. We also consider a number of pragmatically motivated variations on memory safety and the reasoning principles they support. As an application of our characterization, we evaluate the security of a previously proposed dynamic monitor for memory safety of heap-allocated data.Comment: POST'18 final versio

Higgs Starobinsky inflation

In this paper we point out that Starobinky inflation could be induced by quantum effects due to a large non-minimal coupling of the Higgs boson to the Ricci scalar. The Higgs Starobinsky mechanism provides a solution to issues attached to large Higgs field values in the early universe which in a metastable universe would not be a viable option. We verify explicitly that these large quantum corrections do not destabilize Starobinsky's potential

CXCR2 deficient mice display macrophage-dependent exaggerated acute inflammatory responses

CXCR2 is an essential regulator of neutrophil recruitment to inflamed and damaged sites and plays prominent roles in inflammatory pathologies and cancer. It has therefore been highlighted as an important therapeutic target. However the success of the therapeutic targeting of CXCR2 is threatened by our relative lack of knowledge of its precise in vivo mode of action. Here we demonstrate that CXCR2-deficient mice display a counterintuitive transient exaggerated inflammatory response to cutaneous and peritoneal inflammatory stimuli. In both situations, this is associated with reduced expression of cytokines associated with the resolution of the inflammatory response and an increase in macrophage accumulation at inflamed sites. Analysis using neutrophil depletion strategies indicates that this is a consequence of impaired recruitment of a non-neutrophilic CXCR2 positive leukocyte population. We suggest that these cells may be myeloid derived suppressor cells. Our data therefore reveal novel and previously unanticipated roles for CXCR2 in the orchestration of the inflammatory response

Diaphragm Pacing in Patients with Spinal Cord Injury:A European Experience

BACKGROUND: Patients with high spinal cord injury (SCI) are unable to breathe on their own and require mechanical ventilation (MV). The long-term use of MV is associated with increased morbidity and mortality. In patients with intact phrenic nerve function, patients can be partially or completely removed from MV by directly stimulating the diaphragm motor points with a diaphragm pacing system (DPS). OBJECTIVES: We describe our multicenter European experience using DPS in SCI patients who required MV. METHODS: We conducted a retrospective study of patients who were evaluated for the implantation of DPS. Patients evaluated for DPS who met the prospectively defined criteria of being at least 1 year of age, and having cervical injury resulting in a complete or partial dependency on MV were included. Patients who received DPS implants were followed for up to 1 year for device usage and safety. RESULTS: Across 3 centers, 47 patients with high SCI were evaluated for DPS, and 34 were implanted. Twenty-one patients had 12 months of follow-up data with a median DPS use of 15 h/day (interquartile range 4, 24). Eight patients (38.1%) achieved complete MV weaning using DPS 24 h/day. Two DPS-related complications were surgical device revision and a wire eruption. No other major complications were associated with DPS use. CONCLUSIONS: Diaphragm pacing represents an attractive alternative stand-alone treatment or adjunctive therapy compared to MV in patients with high SCI. After a period of acclimation, the patients were able to reduce the daily use of MV, and many could be completely removed from MV

Effects of the functional HOTAIR rs920778 and rs12826786 genetic variants in glioma susceptibility and patient prognosis

Abnormal expression of the long non-coding RNA HOX transcript antisense intergenic RNA (HOTAIR) is oncogenic in several human cancers, including gliomas. The HOTAIR single nucleotide polymorphisms (SNPs) rs920778 (C > T) and rs12826786 (C > T) present in the intronic enhancer and promoter regions of HOTAIR, respectively, are associated with expression, cancer susceptibility, and patient prognosis in some tumor types. However, the relevance of these HOTAIR SNPs has not been studied in glioma. Here, we report a case-control study comprising 177 Portuguese glioma patients and 199 cancer-free controls. All subjects were genotyped by PCR and restriction fragment length polymorphism (RFLP). No statistically significant differences were found in the genotype or allele distributions of either rs920778 or rs12826786 between glioma patients and controls, suggesting these SNPs are not associated with glioma risk. No significant associations were found between rs920778 variants and HOTAIR expression levels, while rs12826786 CT genotype was associated with increased intratumoral HOTAIR RNA levels when compared to TT genotype (p-value = 0.04). Univariate (Log-rank) and multivariate (Cox proportional) analyses showed both rs920778 CT and rs12826786 CT genotypes were significantly associated with longer overall survival of WHO grade III anaplastic oligodendroglioma patients. Our results suggest that HOTAIR SNPs rs920778 and rs12826786 do not play a significant role in glioma susceptibility, but may be important prognostic factors in anaplastic oligodendroglioma patients. Future studies are warranted to validate and expand these findings, and to further dissect the importance of these SNPs in glioma.info:eu-repo/semantics/publishedVersio

A rocky planet transiting a nearby low-mass star

M-dwarf stars -- hydrogen-burning stars that are smaller than 60 per cent of the size of the Sun -- are the most common class of star in our Galaxy and outnumber Sun-like stars by a ratio of 12:1. Recent results have shown that M dwarfs host Earth-sized planets in great numbers: the average number of M-dwarf planets that are between 0.5 to 1.5 times the size of Earth is at least 1.4 per star. The nearest such planets known to transit their star are 39 parsecs away, too distant for detailed follow-up observations to measure the planetary masses or to study their atmospheres. Here we report observations of GJ 1132b, a planet with a size of 1.2 Earth radii that is transiting a small star 12 parsecs away. Our Doppler mass measurement of GJ 1132b yields a density consistent with an Earth-like bulk composition, similar to the compositions of the six known exoplanets with masses less than six times that of the Earth and precisely measured densities. Receiving 19 times more stellar radiation than the Earth, the planet is too hot to be habitable but is cool enough to support a substantial atmosphere, one that has probably been considerably depleted of hydrogen. Because the host star is nearby and only 21 per cent the radius of the Sun, existing and upcoming telescopes will be able to observe the composition and dynamics of the planetary atmosphere.Comment: Published in Nature on 12 November 2015, available at http://dx.doi.org/10.1038/nature15762. This is the authors' version of the manuscrip

Effective action in a higher-spin background

We consider a free massless scalar field coupled to an infinite tower of background higher-spin gauge fields via minimal coupling to the traceless conserved currents. The set of Abelian gauge transformations is deformed to the non-Abelian group of unitary operators acting on the scalar field. The gauge invariant effective action is computed perturbatively in the external fields. The structure of the various (divergent or finite) terms is determined. In particular, the quadratic part of the logarithmically divergent (or of the finite) term is expressed in terms of curvatures and related to conformal higher-spin gravity. The generalized higher-spin Weyl anomalies are also determined. The relation with the theory of interacting higher-spin gauge fields on anti de Sitter spacetime via the holographic correspondence is discussed.Comment: 40 pages, Some errors and typos corrected, Version published in JHE

Non-minimal coupling of the Higgs boson to curvature in an inflationary universe

In the absence of new physics around 10^10 GeV, the electroweak vacuum is at best metastable. This represents a major challenge for high scale in ationary models as, during the early rapid expansion of the universe, it seems difficult to understand how the Higgs vacuum would not decay to the true lower vacuum of the theory with catas- trophic consequences if inflation took place at a scale above 10^10 GeV. In this paper we show that the non-minimal coupling of the Higgs boson to curvature could solve this problem by generating a direct coupling of the Higgs boson to the inflationary potential thereby stabilizing the electroweak vacuum. For specific values of the Higgs field initial condition and of its non-minimal coupling, inflation can drive the Higgs field to the electroweak vacuum quickly during inflation

Cosmological evolution of the Higgs boson's vacuum expectation value

We point out that the expansion of the universe leads to a cosmological time evolution of the vacuum expectation of the Higgs boson. Within the standard model of particle physics, the cosmological time evolution of the vacuum expectation of the Higgs leads to a cosmological time evolution of the masses of the fermions and of the electroweak gauge bosons while the scale of Quantum Chromodynamics (QCD) remains constant. Precise measurements of the cosmological time evolution of u=me/mp, where me and mp are respectively the electron and proton mass (which is essentially determined by the QCD scale), therefore provide a test of the standard models of particle physics and of cosmology. This ratio can be measured using modern atomic clocks