Aurèle Barrière - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

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/

GitHub: https://github.com/Aurele-Barriere

Contributions

2023

POPL

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