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