Léo Gourdin

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Software Systems

Programming Language

Instruction Scheduling

Wafer Fabrication

Top Venues

Proc. ACM Program. Lang.

Publications

David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel
Testing a Formally Verified Compiler. TAP (2023)
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard
Formally Verifying Optimizations with Block Simulations. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Léo Gourdin
Lazy Code Transformations in a Formally Verified Compiler. ICOOOLPS@ECOOP (2023)
Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino
Formally verified superblock scheduling. CPP (2022)