Registered user since Fri 31 Jan 2020
Name:Aurèle Barrière
Country:France
Affiliation:University of Rennes; Inria; CNRS; IRISA
Personal website:https://people.irisa.fr/Aurele.Barriere/
Contributions
POPL 2023 | Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile