I am a researcher at Inria in the PARKAS team at the Informatics Departement of the École normale supérieure. 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.
Services
| Organizer | IBM PL Day 2019 (co-chair), DEBS 2019 industry (chair), IBM PL Day 2018 (co-chair) |
|---|---|
| PC Member | 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 | 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 analysing cloud logs (Java/Javascript) |
| ZSy | Compiler and runtime for a synchronous language with timers (OCaml/Zelus) |
| ReactiveAsco | ReactiveML sequencer for Antescofo (OCaml/ReactiveML) |
Awards
- 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