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.


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