Browsing
New publications
- Some Recent Publications
(Pacs)
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard: Formally Verifying Optimizations with Block Simulations
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler
- Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino: Formally Verified Superblock Scheduling
- David Monniaux, Sylvain Boulmé: The Trusted Computing Base of the CompCert Verified Compiler
- David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel: Testing a Formally Verified Compiler
- Paolo Torrini, Sylvain Boulmé: A CompCert Backend with Symbolic Encryption