conf.researchr.org / Marc Pouzet
Marc Pouzet

Registered user since Thu 29 Jun 2017

Name: Marc Pouzet

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

REBLS 2020PC Member in Program Committee within the REBLS 2020-track
PLDI 2020Author of Reactive Probabilistic Programming within the PLDI Research Papers-track
POPL 2020Author of Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset within the Research Papers-track
ICFP 2018Author 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 2017Author of Optimization Space Pruning without Regrets within the Research Papers-track
OCaml 2016Author of Sundials/ML: interfacing with numerical solvers within the OCaml-track
PLDI 2017Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track