Léo Gourdin

According to our database, Léo Gourdin authored at least 5 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Formally Verifying Optimizations with Block Simulations.

Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard

Proc. ACM Program. Lang., October, 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

PhD thesis, 2023

Testing a Formally Verified Compiler.

David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel

Proceedings of the Tests and Proofs - 17th International Conference, 2023

Lazy Code Transformations in a Formally Verified Compiler.

Léo Gourdin

Proceedings of the 18th ACM International Workshop on Implementation, 2023

2022

Formally verified superblock scheduling.

Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022