Registered user since Thu 29 Jun 2017

Name: Marc Pouzet

Country: France

Affiliation: École normale supérieure

Personal website: http://www.di.ens.fr/~pouzet

Research interests: Programming languages; synchronous languages and systems; reactive systems; embedded software; compilation; static analyses.

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

• Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track in PLDI 2017
• Show activities from other conferences