Xavier Leroy

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Formal verification of a realistic compiler

Xavier Leroy (2009) · Communications of the ACM · Association for Computing Machinery

A Formally Verified Compiler Back-end

Xavier Leroy (2009) · Springer Science and Business Media LLC

Formal Verification of a C Compiler Front-End

Sandrine Blazy and others (2006) · FM 2006: Formal Methods · Springer Berlin Heidelberg

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

Xavier Leroy (2006) · ACM