Xavier Leroy

Artificial Intelligence · 2006–2009

A researcher in the Science corpus: 3 papers; trusts 8 researchers and is trusted by 58 researchers here, as inferred from the citation graph.

Subfields

Whom Xavier Leroy trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. George C. Necula
  2. Gregory J. Chaitin
  3. Gerwin Klein
  4. Tobias Nipkow
  5. A. Appel
  6. Peter W. O'Hearn
  7. Scott McPeak
  8. Westley Weimer

Who trusts Xavier Leroy overall

  1. Vu Le
  2. Gerwin Klein
  3. Haogang Chen
  4. Kaiyu Yang
  5. Bradley Hayes
  6. John Harrison
  7. Gilles Barthe
  8. Mehrdad Afshari
  9. Emily First
  10. Ramana Kumar

Papers from Xavier Leroy's perspective

Ordered by how strongly the researchers Xavier Leroy trusts endorse each paper. Same corpus, a different order for every researcher.

  1. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  2. Differential Testing for Software
  3. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Formal certification of a compiler back-end or: programming a compiler with a proof assistant (ACM-SIGACT Symposium on Principles of Programming Languages)
  5. Translation
  6. Register allocation and spilling via graph coloring (SIGP)
  7. Foundational proof-carrying code (Proceedings 16th Annual IEEE Symposium on Logic in Computer Science)
  8. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
  9. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  10. A Formally Verified Compiler Back-end (Journal of automated reasoning)

Their papers