Guillaume Baudart

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 35

Top Venues

CoRR

PLDI

Proc. ACM Program. Lang.

REBLS@SPLASH

École Normale Supérieure, Paris, France (PHD)

Education History

École Normale Supérieure, Paris, France

PHD

Publications

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

Guillaume Baudart.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guillaume Baudart