Publications

From VERASCO
Revision as of 10:05, 23 October 2012 by Xavier Leroy (talk | contribs) (Created page with "==In 2012:== ===Conference papers:=== * Valentin Robert and Xavier Leroy. '''A formally-verified alias analysis'''. In ''Certified Programs and Proofs (CPP 2012)'', volume 76...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

In 2012:

Conference papers:

  • Valentin Robert and Xavier Leroy. A formally-verified alias analysis. In Certified Programs and Proofs (CPP 2012), volume 7679 of Lecture Notes in Computer Science, pages 11-27. Springer, 2012. PDF

Technical reports:

  • Xavier Leroy, Andrew W. Appel, Sandrine Blazy, and Gordon Stewart. The CompCert memory model, version 2. Research report RR-7987, INRIA, June 2012. At HAL

Under submission:

  • Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, and Guillaume Melquiond. A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. September 2012. At HAL
Retrieved from "http://verasco.imag.fr/w/index.php?title=Publications&oldid=197"