Write a Blog >>
Marc Pouzet

Registered user since Thu 29 Jun 2017

Name:Marc Pouzet
Affiliation:École normale supérieure
Research interests:Programming languages; synchronous languages and systems; reactive systems; embedded software; compilation; static analyses.


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