| 2025 | CPP | Formally Verified Hardening of C Programs against Hardware Fault Injection. | Basile Pesin, Sylvain Boulm, David Monniaux, Marie-Laure Potet |
| 2023 | TAP | Testing a Formally Verified Compiler. | David Monniaux, Lo Gourdin, Sylvain Boulm, Olivier Lebeltel |
| 2022 | CPP | Formally verified superblock scheduling. | Cyril Six, Lo Gourdin, Sylvain Boulm, David Monniaux, Justus Fasse, Nicolas Nardino |
| 2022 | ESOP | The Trusted Computing Base of the CompCert Verified Compiler. | David Monniaux, Sylvain Boulm |
| 2018 | ITP | A Coq Tactic for Equality Learning in Linear Arithmetic. | Sylvain Boulm, Alexandre Marchal |
| 2018 | SYNASC | The Verified Polyhedron Library: an Overview. | Sylvain Boulm, Alexandre Marchal, David Monniaux, Michal Prin, Hang Yu |
| 2015 | ITP | Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra. | Sylvain Boulm, Alexandre Marchal |
| 2003 | FM | Adaptable Translator of B Specifications to Embedded C Programs. | Didier Bert, Sylvain Boulm, Marie-Laure Potet, Antoine Requet, Laurent Voisin |
| 2001 | LPAR | Certifying Synchrony for Free. | Sylvain Boulm, Grgoire Hamon |