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

2023

ARRAY

  • Author of Polymorphic Types with Polynomial Sizes within the ARRAY 2023-track

2022

REBLS

  • Committee Member in Program Committee within the Reactive and Event-Based Languages and Systems-track

2021

REBLS

  • Committee Member in Program Committee within the REBLS 2021-track

SPLASH

  • Author of Reactive Probabilistic Programming within the SIGPLAN Papers-track

2020

REBLS

  • PC Member in Program Committee within the REBLS 2020-track

PLDI

  • Author of Reactive Probabilistic Programming within the PLDI Research Papers-track

POPL

  • Author of Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset within the Research Papers-track

2018

ICFP

  • 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)

2017

PLDI

  • Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track

CC

  • Author of Optimization Space Pruning without Regrets within the Research Papers-track

2016

OCaml

  • Author of Sundials/ML: interfacing with numerical solvers within the OCaml-track
Share
xFri 16 May 19:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up