Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Léo Gourdin
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
POPL 2022 profile
SPLASH 2023 profile
STAF 2023 profile
Registered user since Mon 15 Nov 2021
Name:
Léo Gourdin
Contributions
2023
SPLASH
Author of Formally Verifying Optimizations with Block Simulations within the OOPSLA-track
ICOOOLPS
Author of Lazy Code Transformations in a Formally Verified Compiler within the ICOOOLPS 2023-track
TAP
Author of Testing a Formally Verified Compiler within the Research Papers-track
2022
CPP
Author of Formally Verified Superblock Scheduling within the CPP 2022-track
Share
x
Wed 6 Dec 18:14