Guillaume Baudart

Researcher at Inria

guillaume [dot] baudart [at]


I am a researcher at Inria in the PARKAS team at the Département d'Informatique (DI) of the École normale supérieure (ENS). My research focuses on probabilistic and reactive programming languages. I am also working on Web APIs, and semi-automatic machine learning.

From 2017 to 2020 I was a research staff member at the IBM T.J. Watson Research Center in the AI Programming Models team.


Organizer OOPSLA 2023 ERC-AEC (co-chair), IBM PL Day 2019 (co-chair), DEBS 2019 industry (chair), IBM PL Day 2018 (co-chair)
PC Member LAFI 2023, REBLS 2022, REBLS 2021, EMSOFT 2021, DEBS 2021 industry, LCTES 2021, CC 2021, FDL 2020, EMSOFT 2020, LCTES 2020, DEBS 2020 industry, REBELS 2019, EMSOFT 2019, DEBS 2018, DLS 2017
Reviewer IJAR 2022, IEEE TCAD 2020, ACM TECS 2020, EMSOFT 2016, EMSOFT 2015, DAC 2015, JFLA 2015, JFLA 2014


ProbZelus Compiler and runtime for a synchronous probabilistic language (OCaml/Zelus)
DPPL Compiler from Stan++ to Pyro (Python/OCaml)
Lale A library for semi-automated data science (Python)
YAPS Transpiler from Python syntax to Stan (Python)
WCS-OCaml OCaml SDK for Watson Assistant (OCaml)
CloudLens Interpreter for a reactive language for analysing cloud logs (Java/Javascript)
ZSy Compiler and runtime for a synchronous language with timers (OCaml/Zelus)
ReactiveAsco ReactiveML sequencer for Antescofo (OCaml/ReactiveML)


  • ISSTA 2022, ACM SIGSOFT Distinguished Paper Award
  • ESEC/FSE 2020, ACM SIGSOFT Distinguished Paper Award
  • ACM SIGBED 2017, Paul Caspi Memorial Dissertation Award
  • FDL 2017, Best Paper Award
  • EMSOFT 2016, Best Paper Nominee
  • EMSOFT 2013, Best Paper Nominee
  • EMSOFT 2013, Student Travel Grant