Guillaume Baudart

46 papers A* 4A 3B 2C 1Misc 2Journal 25Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP.
CoRR
Guillaume Baudart, Marc Lelarge, Tristan Stérin, Jules Viennot
2025 J jnl
Inference Plans for Hybrid Particle Filtering.
Proc. ACM Program. Lang.
Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin
2025 J jnl
MiniF2F in Rocq: Automatic Translation Between Proof Assistants - A Case Study.
CoRR
Jules Viennot, Guillaume Baudart, Emilio Jesús Gallego Arias, Marc Lelarge
2025 A conf
PoTo: A Hybrid Andersen's Points-To Analysis for Python.
ECOOP
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
2024 J jnl
Inference Plans for Hybrid Particle Filtering.
CoRR
Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin
2024 J jnl
PoTo: A Hybrid Andersen's Points-to Analysis for Python.
CoRR
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
2024 J jnl
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints.
Softw. Pract. Exp.
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
2023 J jnl
Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation.
CoRR
Waïss Azizian, Guillaume Baudart, Marc Lelarge
2023 J jnl
Density-Based Semantics for Reactive Probabilistic Programming.
CoRR
Guillaume Baudart, Louis Mandel, Christine Tasson
2023 J jnl
Verifying Performance Properties of Probabilistic Inference.
CoRR
Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin
2022 B conf
JAX based parallel inference for reactive probabilistic programming.
LCTES
Guillaume Baudart, Louis Mandel, Reyyan Tekin
2022 J jnl
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming.
CoRR
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
2022 J jnl
Semi-symbolic inference for efficient streaming probabilistic programming.
Proc. ACM Program. Lang.
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
2022 A conf
The raise of machine learning hyperparameter constraints in Python code.
ISSTA
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
2021 J jnl
Automatic Guide Generation for Stan via NumPyro.
CoRR
Guillaume Baudart, Louis Mandel
2021 A* conf
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming.
PLDI
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
2021 A* conf
Learning GraphQL Query Cost.
ASE
Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern
2021 J jnl
Learning GraphQL Query Costs (Extended Version).
CoRR
Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern
2021 A* conf
Pipeline Combinators for Gradual AutoML.
NeurIPS
Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay
2021 J jnl
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams.
CoRR
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
2021 J jnl
Statically bounded-memory delayed sampling for probabilistic streams.
Proc. ACM Program. Lang.
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
2020 J jnl
A Principled Approach to GraphQL Query Cost Analysis.
CoRR
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim Alain Laredo
2020 — conf
A principled approach to GraphQL query cost analysis.
ESEC/SIGSOFT FSE
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim Alain Laredo
2020 J jnl
Lale: Consistent Automated Machine Learning.
CoRR
Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar
2020 J jnl
Mining Documentation to Extract Hyperparameter Schemas.
CoRR
Guillaume Baudart, Peter D. Kirchner, Martin Hirzel, Kiran Kate
2020 A* conf
Reactive probabilistic programming.
PLDI
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2019 A conf
An Empirical Study of GraphQL Schemas.
ICSOC
Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel
2019 J jnl
An Empirical Study of GraphQL Schemas.
CoRR
Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel
2019 — conf
Machine learning in Python with no strings attached.
MAPL@PLDI
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
2019 J jnl
Reactive Probabilistic Programming.
CoRR
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2019 — ch.
Stream Processing Languages and Abstractions.
Encyclopedia of Big Data Technologies
Martin Hirzel, Guillaume Baudart
2018 — conf
A reactive language for analyzing cloud logs.
REBLS@SPLASH
Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri
2018 J jnl
Deep Probabilistic Programming Languages: A Qualitative Study.
CoRR
Guillaume Baudart, Martin Hirzel, Louis Mandel
2018 J jnl
Extending Stan for Deep Probabilistic Programming.
CoRR
Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar
2018 — conf
Protecting chatbots from toxic content.
Onward!
Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar
2018 — conf
Reactive chatbot programming.
REBLS@SPLASH
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2018 J jnl
Stream Processing Languages in the Big Data Era.
SIGMOD Rec.
Martin Hirzel, Guillaume Baudart, Angela Bonifati, Emanuele Della Valle, Sherif Sakr, Akrivi Vlachou
2018 J jnl
Yaps: Python Frontend to Stan.
CoRR
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
2017 — —
A Synchronous Approach to Quasi-Periodic Systems. (Une Approche Synchrone des Systèmes Quasi-Périodiques).
Guillaume Baudart
2017 — conf
Symbolic Simulation of Dataflow Synchronous Programs with Timers.
FDL (Selected Papers)
Guillaume Baudart, Timothy Bourke, Marc Pouzet
2017 C conf
Symbolic simulation of dataflow synchronous programs with timers.
FDL
Guillaume Baudart, Timothy Bourke, Marc Pouzet
2016 J jnl
Loosely Time-Triggered Architectures: Improvements and Comparisons.
ACM Trans. Embed. Comput. Syst.
Guillaume Baudart, Albert Benveniste, Timothy Bourke
2016 B conf
Soundness of the quasi-synchronous abstraction.
FMCAD
Guillaume Baudart, Timothy Bourke, Marc Pouzet
2015 Misc conf
Loosely time-triggered architectures: improvements and comparisons.
EMSOFT
Guillaume Baudart, Albert Benveniste, Timothy Bourke
2013 Misc conf
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music.
EMSOFT
Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet
2013 — conf
Programming mixed music in ReactiveML.
FARM@ICFP
Guillaume Baudart, Louis Mandel, Marc Pouzet