Write a Blog >>
Marc Pouzet

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.


POPL 2020 Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
Show activities from other conferences

POPL 2020-profile
View general profile