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 2021	Committee Member in Program Committee within the REBLS 2021-track
REBLS 2020	PC Member in Program Committee within the REBLS 2020-track
PLDI 2020	Author of Reactive Probabilistic Programming within the PLDI Research Papers-track
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