• Sign in
  • Sign up
conf.researchr.org / Marc Pouzet
  • CC 2017 profile
  • ICFP 2016 profile
  • ICFP 2018 profile
  • PLDI 2020 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2020 profile
  • SPLASH 2020 profile
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 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

Share
xSun 28 Feb 19:59
using conf.researchr.org (v1.42.1)
Support page
Sign Up