World's Best Scientists 2026 revealed!
Xavier Leroy

Xavier Leroy

D-Index & Metrics

Computer Science

D-Index
51
Citations
10872
World Ranking
5316
National Ranking
107

Research.com Recognitions

  • 2015 - ACM Fellow For contributions to safe, high-performance functional programming languages and compilers, and to compiler verification.

Overview

Xavier Leroy is affiliated with the Collège de France in France. Their research spans multiple disciplines, primarily focusing on Medicine and Biochemistry, Genetics and Molecular Biology.

The main fields of study in their work include Medicine, with 79 publications, and Biochemistry, Genetics and Molecular Biology, reflected in 33 publications. Their specific subfields include Pulmonary and Respiratory Medicine, Molecular Biology, Surgery, Radiology, Nuclear Medicine and Imaging, and Oncology.

The scientist's research topics encompass:

  • Prostate Cancer Treatment and Research
  • Prostate Cancer Diagnosis and Treatment
  • Receptor Mechanisms and Signaling
  • Computational Drug Discovery Methods
  • Renal cell carcinoma treatment
  • Monoclonal and Polyclonal Antibodies Research
  • Radiomics and Machine Learning in Medical Imaging

Xavier Leroy has contributed to various publication venues, frequently publishing in:

  • Cancer Research
  • The Journal of Urology
  • European Urology Open Science
  • The FASEB Journal
  • Acta Oncologica

Some of their recent research papers include:

  • Effector membrane translocation biosensors reveal G protein and βarrestin coupling profiles of 100 therapeutically relevant GPCRs, 2022, eLife
  • Downregulation of the FTO m6A RNA demethylase promotes EMT-mediated progression of epithelial tumors and sensitivity to Wnt inhibitors, 2021, Nature Cancer
  • Efficient Extensional Binary Tries, 2023, Journal of Automated Reasoning
  • Expanding the clinicopathological spectrum of succinate dehydrogenase-deficient renal cell carcinoma with a focus on variant morphologies: a study of 62 new tumors in 59 patients, 2021, Modern Pathology
  • Mucoepidermoid carcinoma of salivary glands: A French Network of Rare Head and Neck Tumors (REFCOR) prospective study of 292 cases, 2020, European Journal of Surgical Oncology

Xavier Leroy collaborates frequently with several co-authors, including:

  • Arnauld Villers with 16 joint publications
  • Stéphan Schann with 13 joint publications
  • Philippe Puech with 12 joint publications
  • Jonathan Olivier with 12 joint publications
  • Arturo Mancini with 8 joint publications

In 2015, Xavier Leroy was recognized as an ACM Fellow for contributions to safe, high-performance functional programming languages and compilers, and to compiler verification.

Best Publications

  • Formal verification of a realistic compiler

    Xavier Leroy

  • Formal certification of a compiler back-end or: programming a compiler with a proof assistant

    Xavier Leroy

  • A Formally Verified Compiler Back-end

    Xavier Leroy

  • Manifest types, modules, and separate compilation

    Xavier Leroy

  • Unboxed objects and polymorphic typing

    Xavier Leroy

  • A concurrent, generational garbage collector for a multithreaded implementation of ML

    Damien Doligez;Xavier Leroy

  • The ZINC experiment : an economical implementation of the ML language

    Xavier Leroy

  • Mechanized Semantics for the Clight Subset of the C Language

    Sandrine Blazy;Xavier Leroy

  • A compiled implementation of strong reduction

    Benjamin Grégoire;Xavier Leroy

  • Program Logics for Certified Compilers

    Andrew W. Appel;Robert Dockins;Aquinas Hobor;Lennart Beringer

  • Java Bytecode Verification: Algorithms and Formalizations

    Xavier Leroy

  • Formal verification of a c compiler front-end

    Sandrine Blazy;Zaynah Dargaye;Xavier Leroy

  • Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations

    Xavier Leroy;Sandrine Blazy

  • Coinductive big-step operational semantics

    Xavier Leroy;Hervé Grall

  • Applicative functors and fully transparent higher-order modules

    Xavier Leroy

  • Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

    Fabio Mancinelli;Jaap Boender;Roberto Cosmo;Jerome Vouillon

  • A Formally-Verified C Static Analyzer

    Jacques-Henri Jourdan;Vincent Laporte;Sandrine Blazy;Xavier Leroy

  • A modular module system

    Xavier Leroy

  • Implementing multi-stage languages using ASTs, Gensym, and reflection

    Cristiano Calcagno;Walid Taha;Liwen Huang;Xavier Leroy

  • A Formally-Verified C Static Analyzer

    Unknown

  • Coinductive big-step operational semantics

    Xavier Leroy

Frequent Co-Authors

Andrew W. Appel
Andrew W. Appel Princeton University
Serge Abiteboul
Serge Abiteboul École Normale Supérieure
Luca Cardelli
Luca Cardelli University of Oxford
Benjamin C. Pierce
Benjamin C. Pierce University of Pennsylvania
Neil D. Jones
Neil D. Jones University of Copenhagen
Robert Harper
Robert Harper Carnegie Mellon University
Cristiano Calcagno
Cristiano Calcagno Imperial College London
Stephanie Weirich
Stephanie Weirich University of Pennsylvania
Walid Taha
Walid Taha Halmstad University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to a wide variety of online degree and career pathways. Many fields in science and engineering now offer affordable online programs, making it easier to expand your skill set from anywhere in the world.

For those interested in interdisciplinary studies, an environmental engineer degree online provides a unique blend of computer science and environmental problem-solving. Similarly, a solid understanding of software and systems can enhance your prospects in engineering, and programs like the online mechanical engineering degree make this possible.

If your interests lean towards scientific research or data-driven industries, consider whether can you get a physics degree online is the right path for you. This can be an excellent bridge to roles in research, analysis, or technology sectors. In the booming tech landscape, demand for specialists remains high—affordable data science programs are an especially valuable addition for Computer Science students looking to specialize further and secure competitive roles in data analytics and machine learning.

Best Scientists Citing Xavier Leroy

Trending Scientists

Recently Published Articles