| 2021 | PLDI | Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. | Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar |
| 2020 | PLDI | Reactive probabilistic programming. | Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin |
| 2019 | ICSOC | An Empirical Study of GraphQL Schemas. | Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel |
| 2019 | PLDI | Machine learning in Python with no strings attached. | Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar |
| 2018 | OOPSLA | Reactive chatbot programming. | Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2018 | OOPSLA | A reactive language for analyzing cloud logs. | Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri |
| 2017 | OOPSLA | Generating chat bots from web API specifications. | Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jrme Simon, Martin Hirzel |
| 2017 | SIGMOD | Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. | Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2017 | SIGMOD | Q*cert: A Platform for Implementing and Verifying Query Compilers. | Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2016 | PLDI | Control structure overloading in X10. | Louis Mandel, Josh Milthorpe, Olivier Tardieu |
| 2015 | PPDP | ReactiveML, ten years later. | Louis Mandel, Cdric Pasteur, Marc Pouzet |
| 2014 | SAS | Reactivity of Cooperative Systems - Application to ReactiveML. | Louis Mandel, Cdric Pasteur |
| 2013 | EMSOFT | A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. | Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet |
| 2013 | ICFP | Programming mixed music in ReactiveML. | Guillaume Baudart, Louis Mandel, Marc Pouzet |
| 2013 | PPDP | Time refinement in a functional synchronous language. | Louis Mandel, Cdric Pasteur, Marc Pouzet |
| 2012 | MPC | Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. | Louis Mandel, Florence Plateau |
| 2011 | FMCAD | Static scheduling of latency insensitive designs with Lucy-n. | Louis Mandel, Florence Plateau, Marc Pouzet |
| 2010 | MPC | Lucy-n: a n-Synchronous Extension of Lustre. | Louis Mandel, Florence Plateau, Marc Pouzet |
| 2008 | APLAS | Abstraction of Clocks in Synchronous Data-Flow Systems. | Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet |
| 2008 | ESOP | Programming in JoCaml (Tool Demonstration). | Louis Mandel, Luc Maranget |
| 2005 | PPDP | ReactiveML: a reactive extension to ML. | Louis Mandel, Marc Pouzet |