I am a researcher at Inria in the PICUBE team at the IRIF laboratory. My research focuses on probabilistic and reactive programming languages (language design, semantics, static analysis, compilation, inference), and more recently on generative AI for interactive theorem proving.
From 2020 to 2023 I was a member of the PARKAS team at the Département d'Informatique (DI) of the École normale supérieure (ENS). From 2017 to 2020 I was a research staff member at the IBM T.J. Watson Research Center in the AI Programming Models team.
Services
| Organizer | OOPSLA 2024 AEC (co-chair), OOPSLA 2023 ERC-AEC (co-chair), IBM PL Day 2019 (co-chair), DEBS 2019 industry (chair), IBM PL Day 2018 (co-chair) |
|---|---|
| PC Member | OOPSLA 2025, JFLA 2025, JFLA 2024, FDL 2023, LCTES 2023, 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 | ACM TECS 2024, ACM TSE 2023, IEEE TCAD 2020, ACM TECS 2020, EMSOFT 2016, EMSOFT 2015, DAC 2015, JFLA 2015, JFLA 2014 |
Software
| 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 analyzing cloud logs (Java/Javascript) |
| ZSy | Compiler and runtime for a synchronous language with timers (OCaml/Zelus) |
| ReactiveAsco | ReactiveML sequencer for Antescofo (OCaml/ReactiveML) |
Awards
- FDL 2023, Outstanding Reviewer Award
- 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