Certifying cost annotations in compilers

We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the source code. To this end, we need a clear and flexible picture of: (i) the meaning of cost annotations, (ii) the method to prove them sound and precise, and (iii) the way such proofs can be composed. We propose a so-called labelling approach to these three questions. As a first step, we examine its application to a toy compiler. This formal study suggests that the labelling approach has good compositionality and scalability properties. In order to provide further evidence for this claim, we report our successful experience in implementing and testing the labelling approach on top of a prototype compiler written in OCAML for (a large fragment of) the C language

Les terrasses marines, marqueurs de l'interaction entre soulèvement et oscillation du niveau de la mer

National audienceBilan des mesures de soulèvement grâce aux terrasses marine

Impact of Immunotherapy on CD4 T Cell Phenotypes and Function in Cancer.

Immunotherapy has become a standard treatment in many cancers and it is based on three main therapeutic axes: immune checkpoint blockade (ICB), vaccination and adoptive cell transfer (ACT). If originally these therapies mainly focused on exploiting CD8 T cells given their role in the direct elimination of tumor cells, increasing evidence highlights the crucial role CD4 T cells play in the antitumor immune response. Indeed, these cells can profoundly modulate the tumor microenvironment (TME) by secreting different types of cytokine or by directly eliminating cancer cells. In this review, we describe how different CD4 T cell subsets can contribute to tumor immune responses during immunotherapy and the novel high-throughput immune monitoring tools that are expected to facilitate the study of CD4 T cells, at antigen-specific and single cell level, thus accelerating bench-to-bed translational research in cancer

New smoothing procedures in contact mechanics

AbstractThis paper presents recent methods to improve numerical simulation of contact problems by smoothing. The main idea is to combine contact surfaces regularization with an automatic adjustment of both penalty parameter and load step. The underlying goal is to provide handle situations frequently met in an industrial context

A genetic contribution from the Far East into Ashkenazi Jews via the ancient Silk Road

Contemporary Jews retain a genetic imprint from their Near Eastern ancestry, but obtained substantial genetic components from their neighboring populations during their history. Whether they received any genetic contribution from the Far East remains unknown, but frequent communication with the Chinese has been observed since the Silk Road period. To address this issue, mitochondrial DNA (mtDNA) variation from 55,595 Eurasians are analyzed. The existence of some eastern Eurasian haplotypes in eastern Ashkenazi Jews supports an East Asian genetic contribution, likely from Chinese. Further evidence indicates that this connection can be attributed to a gene flow event that occurred less than 1.4 kilo-years ago (kya), which falls within the time frame of the Silk Road scenario and fits well with historical records and archaeological discoveries. This observed genetic contribution from Chinese to Ashkenazi Jews demonstrates that the historical exchange between Ashkenazim and the Far East was not confined to the cultural sphere but also extended to an exchange of genes

Potential Energy Surface for H_2 Dissociation over Pd(100)

The potential energy surface (PES) of dissociative adsorption of H_2 on Pd(100) is investigated using density functional theory and the full-potential linear augmented plane wave (FP-LAPW) method. Several dissociation pathways are identified which have a vanishing energy barrier. A pronounced dependence of the potential energy on ``cartwheel'' rotations of the molecular axis is found. The calculated PES shows no indication of the presence of a precursor state in front of the surface. Both results indicate that steering effects determine the observed decrease of the sticking coefficient at low energies of the H_2 molecules. We show that the topology of the PES is related to the dependence of the covalent H(s)-Pd(d) interactions on the orientation of the H_2 molecule.Comment: RevTeX, 8 pages, 5 figures in uufiles forma

Complete mitochondrial DNA sequences provide new insights into the Polynesian motif and the peopling of Madagascar

More than a decade of mitochondrial DNA (mtDNA) studies have given the 'Polynesian motif' renowned status as a marker for tracing the late-Holocene expansion of Austronesian speaking populations. Despite considerable research on the Polynesian motif in Oceania, there has been little equivalent work on the western edge of its expansion - leaving major issues unresolved regarding the motif's evolutionary history. This has also led to considerable uncertainty regarding the settlement of Madagascar. In this study, we assess mtDNA variation in 266 individuals from three Malagasy ethnic groups: the Mikea, Vezo, and Merina. Complete mtDNA genome sequencing reveals a new variant of the Polynesian motif in Madagascar; two coding region mutations define a Malagasy-specific sub-branch. This newly defined 'Malagasy motif' occurs at high frequency in all three ethnic groups (13-50%), and its phylogenetic position, geographic distribution, and estimated age all support a recent origin, but without conclusively identifying a specific source region. Nevertheless, the haplotype's limited diversity, similar to those of other mtDNA haplogroups found in our Malagasy groups, best supports a small number of initial settlers arriving to Madagascar through the same migratory process. Finally, the discovery of this lineage provides a set of new polymorphic positions to help localize the Austronesian ancestors of the Malagasy, as well as uncover the origin and evolution of the Polynesian motif itself

Resolving the ancestry of Austronesian-speaking populations

There are two very different interpretations of the prehistory of Island Southeast Asia (ISEA), with genetic evidence invoked in support of both. The “out-of-Taiwan” model proposes a major Late Holocene expansion of Neolithic Austronesian speakers from Taiwan. An alternative, proposing that Late Glacial/postglacial sea-level rises triggered largely autochthonous dispersals, accounts for some otherwise enigmatic genetic patterns, but fails to explain the Austronesian language dispersal. Combining mitochondrial DNA (mtDNA), Y-chromosome and genome-wide data, we performed the most comprehensive analysis of the region to date, obtaining highly consistent results across all three systems and allowing us to reconcile the models. We infer a primarily common ancestry for Taiwan/ISEA populations established before the Neolithic, but also detected clear signals of two minor Late Holocene migrations, probably representing Neolithic input from both Mainland Southeast Asia and South China, via Taiwan. This latter may therefore have mediated the Austronesian language dispersal, implying small-scale migration and language shift rather than large-scale expansion