ReactiveML: a reactive extension to ML. - Louis Mandel; Marc Pouzet (PPDP, 2005)

Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. - Nicolas Halbwachs; Louis Mandel (ACSD, 2006)

GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. - Ludovic Samper; Florence Maraninchi; Laurent Mounier; Louis Mandel (InterSense, 2006)

Executable Contracts for Incremental Prototypes of Embedded Systems. - Lionel Morel; Louis Mandel (FESCA@ETAPS, 2007)

Abstraction of Clocks in Synchronous Data-Flow Systems. - Albert Cohen 001; Louis Mandel; Florence Plateau; Marc Pouzet (APLAS, 2008)

Programming in JoCaml (Tool Demonstration). - Louis Mandel; Luc Maranget (ESOP, 2008)

Interactive Programming of Reactive Systems. - Louis Mandel; Florence Plateau (SLAP@ETAPS, 2008)

ReactiveML, un langage fonctionnel pour la programmation réactive. - Louis Mandel; Marc Pouzet (Tech. Sci. Informatiques, 2008)

Abstraction d'horloges dans les systemes synchrones flot de donnees. - Louis Mandel; Florence Plateau (Stud. Inform. Univ., 2009)

Lucy-n: a n-Synchronous Extension of Lustre. - Louis Mandel; Florence Plateau; Marc Pouzet (MPC, 2010)

Static scheduling of latency insensitive designs with Lucy-n. - Louis Mandel; Florence Plateau; Marc Pouzet (FMCAD, 2011)

Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. - Louis Mandel; Florence Plateau (MPC, 2012)

A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. - Guillaume Baudart; Florent Jacquemard; Louis Mandel; Marc Pouzet (EMSOFT, 2013)

Programming mixed music in ReactiveML. - Guillaume Baudart; Louis Mandel; Marc Pouzet (FARM@ICFP, 2013)

Réseaux de Kahn à rafales et horloges entières. - Louis Mandel; Adrien Guatto (JFLA, 2014)

Exécution efficace de programmes ReactiveML. - Louis Mandel; Cédric Pasteur (JFLA, 2014)

Reactivity of Cooperative Systems - Application to ReactiveML. - Louis Mandel; Cédric Pasteur (SAS, 2014)

ReactiveML, ten years later. - Louis Mandel; Cédric Pasteur; Marc Pouzet (PPDP, 2015)

Time refinement in a functional synchronous language. - Louis Mandel; Cédric Pasteur; Marc Pouzet (Sci. Comput. Program., 2015)

Control structure overloading in X10. - Louis Mandel; Josh Milthorpe; Olivier Tardieu (X10@PLDI, 2016)

META: Middleware for Events, Transactions, and Analytics. - Matthew Arnold; David Grove; Benjamin Herta; Michael Hind; Martin Hirzel; Arun Iyengar; Louis Mandel; Vijay A. Saraswat; Avraham Shinnar; Jérôme Siméon; Mikio Takeuchi; Olivier Tardieu; et al. (IBM J. Res. Dev., 2016)

Generating chat bots from web API specifications. - Mandana Vaziri; Louis Mandel; Avraham Shinnar; Jérôme Siméon; Martin Hirzel (Onward!, 2017)

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; Jérôme Siméon (SIGMOD Conference, 2017)

Q*cert: A Platform for Implementing and Verifying Query Compilers. - Joshua S. Auerbach; Martin Hirzel; Louis Mandel; Avraham Shinnar; Jérôme Siméon (SIGMOD Conference, 2017)

I Can Parse You: Grammars for Dialogs. - Martin Hirzel; Louis Mandel; Avraham Shinnar; Jérôme Siméon; Mandana Vaziri (SNAPL, 2017)

Prototyping a query compiler using Coq (experience report). - Joshua S. Auerbach; Martin Hirzel; Louis Mandel; Avraham Shinnar; Jérôme Siméon (Proc. ACM Program. Lang., 2017)

Reactive chatbot programming. - Guillaume Baudart; Martin Hirzel; Louis Mandel; Avraham Shinnar; Jérôme Siméon (REBLS@SPLASH, 2018)

A reactive language for analyzing cloud logs. - Guillaume Baudart; Louis Mandel; Olivier Tardieu; Mandana Vaziri (REBLS@SPLASH, 2018)

Deep Probabilistic Programming Languages: A Qualitative Study. - Guillaume Baudart; Martin Hirzel; Louis Mandel (CoRR, 2018)

Extending Stan for Deep Probabilistic Programming. - Javier Burroni; Guillaume Baudart; Louis Mandel; Martin Hirzel; Avraham Shinnar (CoRR, 2018)

Yaps: Python Frontend to Stan. - Guillaume Baudart; Martin Hirzel; Kiran Kate; Louis Mandel; Avraham Shinnar (CoRR, 2018)

An Empirical Study of GraphQL Schemas. - Erik Wittern; Alan Cha; James C. Davis 001; Guillaume Baudart; Louis Mandel (ICSOC, 2019)

Machine learning in Python with no strings attached. - Guillaume Baudart; Martin Hirzel; Kiran Kate; Louis Mandel; Avraham Shinnar (MAPL@PLDI, 2019)

Reactive probabilistic programming. - Guillaume Baudart; Louis Mandel; Eric Atkinson; Benjamin Sherman; Marc Pouzet; Michael Carbin (PLDI, 2020)

A principled approach to GraphQL query cost analysis. - Alan Cha; Erik Wittern; Guillaume Baudart; James C. Davis 001; Louis Mandel; Jim Alain Laredo (ESEC/SIGSOFT FSE, 2020)

Learning GraphQL Query Cost. - Georgios Mavroudeas; Guillaume Baudart; Alan Cha; Martin Hirzel; Jim Alain Laredo; Malik Magdon-Ismail; Louis Mandel; Erik Wittern (ASE, 2021)

Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. - Guillaume Baudart; Javier Burroni; Martin Hirzel; Louis Mandel; Avraham Shinnar (PLDI, 2021)

Learning GraphQL Query Costs (Extended Version). - Georgios Mavroudeas; Guillaume Baudart; Alan Cha; Martin Hirzel; Jim Alain Laredo; Malik Magdon-Ismail; Louis Mandel; Erik Wittern (CoRR, 2021)

Automatic Guide Generation for Stan via NumPyro. - Guillaume Baudart; Louis Mandel (CoRR, 2021)

Statically bounded-memory delayed sampling for probabilistic streams. - Eric Atkinson; Guillaume Baudart; Louis Mandel; Charles Yuan; Michael Carbin (Proc. ACM Program. Lang., 2021)

JAX based parallel inference for reactive probabilistic programming. - Guillaume Baudart; Louis Mandel; Reyyan Tekin (LCTES, 2022)

Semi-symbolic inference for efficient streaming probabilistic programming. - Eric Atkinson; Charles Yuan; Guillaume Baudart; Louis Mandel; Michael Carbin (Proc. ACM Program. Lang., 2022)

Translating canonical SQL to imperative code in Coq. - Véronique Benzaken; Evelyne Contejean; Mohammed Houssem Hachmaoui; Chantal Keller; Louis Mandel; Avraham Shinnar; Jérôme Siméon (Proc. ACM Program. Lang., 2022)

Verifying Performance Properties of Probabilistic Inference. - Eric Atkinson; Ellie Y. Cheng; Guillaume Baudart; Louis Mandel; Michael Carbin (CoRR, 2023)

Density-Based Semantics for Reactive Probabilistic Programming. - Guillaume Baudart; Louis Mandel; Christine Tasson (CoRR, 2023)

Learning Transfers over Several Programming Languages. - Razan Baltaji; Saurabh Pujar; Louis Mandel; Martin Hirzel; Luca Buratti; Lav R. Varshney (CoRR, 2023)

Training and Cross-Validating Machine Learning Pipelines with Limited Memory. - Martin Hirzel; Kiran Kate; Louis Mandel; Avraham Shinnar (AutoML, 2024)

Ansible Lightspeed: A Code Generation Service for IT Automation. - Priyam Sahoo; Saurabh Pujar; Ganesh Nalawade; Richard Genhardt; Louis Mandel; Luca Buratti (ASE, 2024)

Ansible Lightspeed: A Code Generation Service for IT Automation. - Priyam Sahoo; Saurabh Pujar; Ganesh Nalawade; Richard Gebhardt; Louis Mandel; Luca Buratti (CoRR, 2024)

PDL: A Declarative Prompt Programming Language. - Mandana Vaziri; Louis Mandel; Claudio Spiess; Martin Hirzel (CoRR, 2024)

Inference Plans for Hybrid Particle Filtering. - Ellie Y. Cheng; Eric Atkinson; Guillaume Baudart; Louis Mandel; Michael Carbin (Proc. ACM Program. Lang., 2025)

Cross-lingual Transfer in Programming Languages: An Extensive Empirical Study. - Razan Baltaji; Saurabh Pujar; Martin Hirzel; Louis Mandel; Luca Buratti; Lav R. Varshney (Trans. Mach. Learn. Res., 2025)

AutoPDL: Automatic Prompt Optimization for LLM Agents. - Claudio Spiess; Mandana Vaziri; Louis Mandel; Martin Hirzel (CoRR, 2025)

Representing Prompting Patterns with PDL: Compliance Agent Case Study. - Mandana Vaziri; Louis Mandel; Yuji Watanabe; Hirokuni Kitahara; Martin Hirzel; Anca Sailer (CoRR, 2025)