Selected Publications

See also DBLP or Google Scholar

2025
MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study,
J. Viennot, G. Baudart, E. Gallego Arias, M. Lelarge in MathAI@NeurIPS
Schedule Agnostic Semantics for Reactive Probabilistic Programming,
G. Baudart, L. Mandel, C. Tasson in ACM TOPML
Special Issue on Probabilistic Programming.
PoTo: A Hybrid Andersen's Points-to Analysis for Python,
I. Rak-amnouykit, A. Milanova, G. Baudart, M. Hirzel, J. Dolby in ECOOP
Inference Plans for Hybrid Particle Filtering,
E. Y. Cheng, E. Atkinson, G. Baudart, L. Mandel, M. Carbin in POPL
2024
NLIR: Natural Language Intermediate Representation for Mechanized Theorem Proving,
L. Teodorescu, G. Baudart, E. Gallego Arias, M. Lelarge in MathAI@NeurIPS
2023
Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation,
W. Azizian, G. Baudart, M. Lelarge in SPIGM@ICML
2022
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming,
E. Atkinson, C. Yuan, G. Baudart, L. Mandel, M. Carbin in OOPSLA
The Raise of Machine Learning Hyperparameter Constraints in Python Code,
I. Rak-amnouykit, A. Milanova, G. Baudart, M. Hirzel, J. Dolby in ISSTA
ACM SIGSOFT Distinguished Paper award.
2021
Pipeline Combinators for Gradual AutoML,
G. Baudart, M. Hirzel, K. Kate, P. Ram, A. Shinnar, J. Tsay in NeurIPS
Automatic Guide Generation for Stan via NumPyro,
G. Baudart, L. Mandel in PROBPROG
Oral.
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams,
E. Atkinson, G. Baudart, L. Mandel, C. Yuan, M. Carbin in OOPSLA
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming,
G. Baudart, J. Burroni, M. Hirzel, L. Mandel, A. Shinnar in PLDI
2020
Reactive Probabilistic Programming,
G. Baudart, L. Mandel, E. Atkinson, B. Sherman, M. Pouzet, M. Carbin in PLDI
A Principled Approach to GraphQL Query Cost Analysis,
A. Cha, E. Wittern, G. Baudart, J.C. Davis, L. Mandel, J. Laredo in ESEC/FSE
ACM SIGSOFT Distinguished Paper award.
2019
An Empirical Study of GraphQL Schemas,
E. Wittern, A. Cha, J.C. Davis, G. Baudart, L. Mandel in ICSOC
2018
Configurable and non-invasive protection of private information for conversational agents, Patent: US20190278942A1,
G. Baudart, E. Duesterwald, M. Hirzel, A. Shinnar, J. Dolby
2017
Cognitive virtual detector, Patent: US20190116136A1,
G. Baudart, J. Dolby, E. Duesterwald, D. Piorkowski
Symbolic Simulation of Dataflow Synchronous Programs with Timers,
G. Baudart, T. Bourke, M. Pouzet in FDL
Best Paper Award.
A Synchronous Approach to Quasi-Periodic Systems,
G. Baudart PhD Thesis
ACM SIGBED, Paul Caspi Memorial Dissertation Award.
2016
Soundness of the Quasi-Synchronous Abstraction,
G. Baudart, T. Bourke, M. Pouzet in FMCAD
2015
Loosely Time-Triggered Architectures: Improvements and Comparisons,
G. Baudart, A. Benveniste, T. Bourke in EMSOFT
Best paper nominee.
2013
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music,
G. Baudart, F. Jacquemard, L. Mandel, M. Pouzet in EMSOFT
Best paper nominee.