Xavier Leroy (INRIA Rocquencourt)

Identifiers

• name variant Xavier Leroy (INRIA Rocquencourt) 0.60 · backfill

Papers (5)

1. Mechanized semantics cs.PL · 2010 · author #1
2. A formally verified compiler back-end cs.LO · 2009 · author #1
3. Compilation of extended recursion in call-by-value functional languages cs.PL · 2009 · author #2
4. Mechanized semantics for the Clight subset of the C language cs.PL · 2009 · author #3
5. Coinductive big-step operational semantics cs.PL · 2008 · author #1

Mentions

• 1010.5582 #1 · backfill · confidence 0.70 Xavier Leroy (INRIA Rocquencourt)
• 0902.2137 #1 · backfill · confidence 0.70 Xavier Leroy (INRIA Rocquencourt)
• 0902.1257 #2 · backfill · confidence 0.70 Xavier Leroy (INRIA Rocquencourt)
• 0901.3619 #3 · backfill · confidence 0.70 Xavier Leroy (INRIA Rocquencourt)
• 0808.0586 #1 · backfill · confidence 0.70 Xavier Leroy (INRIA Rocquencourt)

Frequent Coauthors

• Herv\'e Grall (INRIA Rennes 1 shared papers
• INRIA Rocquencourt) 1 shared papers
• J. B. Wells 1 shared papers
• LINA) 1 shared papers
• Sandrine Blazy (CEDRIC 1 shared papers
• Tom Hirschowitz (LM-Savoie) 1 shared papers