Formally verified superblock scheduling. - Cyril Six; Léo Gourdin; Sylvain Boulmé; David Monniaux; Justus Fasse; Nicolas Nardino (CPP, 2022)

Lazy Code Transformations in a Formally Verified Compiler. - Léo Gourdin (ICOOOLPS@ECOOP, 2023)

Testing a Formally Verified Compiler. - David Monniaux; Léo Gourdin; Sylvain Boulmé; Olivier Lebeltel (TAP, 2023)

Formal Validation of Intra-Procedural Transformations by Defensive Symbolic Simulation. (Validation Formelle de Transformations Intra-Procédurales par Simulation Symbolique Défensive). - Léo Gourdin (2023)

Formally Verifying Optimizations with Block Simulations. - Léo Gourdin; Benjamin Bonneau; Sylvain Boulmé; David Monniaux; Alexandre Bérard (Proc. ACM Program. Lang., 2023)