Write a Blog >>
Xavier Leroy

Registered user since Thu 19 Oct 2017

Name: Xavier Leroy

Affiliation: Inria

Personal website: http://gallium.inria.fr/~xleroy/

Contributions

PLDI 2017 A Formally Verified Compiler for Lustre
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile