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.

Contributions

POPL 2020	Author of Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset within the Research Papers-track
ICFP 2018	Author of T08: Implement your own reactive language: the ReactiveML experiment within the Tutorials-track Session Chair of T08: Implement your own reactive language: the ReactiveML experiment (part of Tutorials)
CC 2017	Author of Optimization Space Pruning without Regrets within the Research Papers-track
OCaml 2016	Author of Sundials/ML: interfacing with numerical solvers within the OCaml-track
PLDI 2017	Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track