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)

Soundness of the quasi-synchronous abstraction. - Guillaume Baudart; Timothy Bourke; Marc Pouzet (FMCAD, 2016)

Loosely Time-Triggered Architectures: Improvements and Comparisons. - Guillaume Baudart; Albert Benveniste; Timothy Bourke (ACM Trans. Embed. Comput. Syst., 2016)

Symbolic simulation of dataflow synchronous programs with timers. - Guillaume Baudart; Timothy Bourke; Marc Pouzet (FDL, 2017)

A Synchronous Approach to Quasi-Periodic Systems. (Une Approche Synchrone des Systèmes Quasi-Périodiques). - Guillaume Baudart (2017)

Protecting chatbots from toxic content. - Guillaume Baudart; Julian Dolby; Evelyn Duesterwald; Martin Hirzel; Avraham Shinnar (Onward!, 2018)

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)

Stream Processing Languages in the Big Data Era. - Martin Hirzel; Guillaume Baudart; Angela Bonifati; Emanuele Della Valle; Sherif Sakr; Akrivi Vlachou (SIGMOD Rec., 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)

Stream Processing Languages and Abstractions. - Martin Hirzel; Guillaume Baudart (Encyclopedia of Big Data Technologies, 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)

Mining Documentation to Extract Hyperparameter Schemas. - Guillaume Baudart; Peter D. Kirchner; Martin Hirzel; Kiran Kate (CoRR, 2020)

Lale: Consistent Automated Machine Learning. - Guillaume Baudart; Martin Hirzel; Kiran Kate; Parikshit Ram; Avraham Shinnar (CoRR, 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)

Pipeline Combinators for Gradual AutoML. - Guillaume Baudart; Martin Hirzel; Kiran Kate; Parikshit Ram; Avraham Shinnar; Jason Tsay (NeurIPS, 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)

The raise of machine learning hyperparameter constraints in Python code. - Ingkarat Rak-amnouykit; Ana L. Milanova; Guillaume Baudart; Martin Hirzel; Julian Dolby (ISSTA, 2022)

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)

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)

Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation. - Waïss Azizian; Guillaume Baudart; Marc Lelarge (CoRR, 2023)

Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. - Ingkarat Rak-amnouykit; Ana L. Milanova; Guillaume Baudart; Martin Hirzel; Julian Dolby (Softw. Pract. Exp., 2024)

PoTo: A Hybrid Andersen's Points-To Analysis for Python. - Ingkarat Rak-amnouykit; Ana L. Milanova; Guillaume Baudart; Martin Hirzel; Julian Dolby (ECOOP, 2025)

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

MiniF2F in Rocq: Automatic Translation Between Proof Assistants - A Case Study. - Jules Viennot; Guillaume Baudart; Emilio Jesús Gallego Arias; Marc Lelarge (CoRR, 2025)