Nathanaël Courant -

Not registered as user yet

Name:Nathanaël Courant

Affiliation:INRIA

Contributions

POPL 2021	Author of Verified Code Generation for the Polyhedral Model within the POPL-track
VMCAI 2020	Author of The Correctness of a Code Generator for a Functional Language within the VMCAI 2020-track
ML 2019	Author of Necro: Animating Skeletons within the ML 2019-track