Write a Blog >>

Registered user since Fri 31 Jan 2020

Name:Aurèle Barrière
Affiliation:Univ Rennes, IRISA

Contributions

CoqPL 2020 Towards Formally Verified Just-in-Time compilation
Show activities from other conferences

POPL 2020-profile
View general profile