Publications

From VERASCO

Revision as of 10:58, 12 April 2013 by Sandrine Blazy (talk | contribs) (→‎Conference papers:)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Contents

1 In 2012:
- 1.1 Conference papers:
- 1.2 Technical reports:
2 In 2013:
- 2.1 Conference papers:
- 2.2 Under submission:

In 2012:

Conference papers:

[Robert_Leroy_CPP2012] 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, December 2012. At HAL

Technical reports:

[leroy:hal-00703441] 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

In 2013:

Conference papers:

Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, and Guillaume Melquiond. A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. In 21st IEEE International Symposium on Computer Arithmetic, IEEE Press, April 2013. At HAL

Sandrine Blazy and Vincent Laporte and André Maronèze and David Pichardie. Formal Verification of a C Value Analysis Based on Abstract Interpretation. In 20th Static Analysis Symposium (SAS 2013), volume ? of Lecture Notes in Computer Science, pages ?-?. Springer, June 2013. At HAL

Under submission:

Retrieved from "http://verasco.imag.fr/w/index.php?title=Publications&oldid=212"