Guillaume Baudart

According to our database, Guillaume Baudart authored at least 35 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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., March, 2024

PoTo: A Hybrid Andersen's Points-to Analysis for Python.

Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby

CoRR, 2024

Inference Plans for Hybrid Particle Filtering.

Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin

CoRR, 2024

2023

Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation.

Waïss Azizian, Guillaume Baudart, Marc Lelarge

CoRR, 2023

Density-Based Semantics for Reactive Probabilistic Programming.

Guillaume Baudart, Louis Mandel, Christine Tasson

CoRR, 2023

Verifying Performance Properties of Probabilistic Inference.

Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin

CoRR, 2023

2022

Semi-symbolic inference for efficient streaming probabilistic programming.

Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin

Proc. ACM Program. Lang., 2022

JAX based parallel inference for reactive probabilistic programming.

Guillaume Baudart, Louis Mandel, Reyyan Tekin

Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022

The raise of machine learning hyperparameter constraints in Python code.

Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

Statically bounded-memory delayed sampling for probabilistic streams.

Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin

Proc. ACM Program. Lang., 2021

Automatic Guide Generation for Stan via NumPyro.

Guillaume Baudart, Louis Mandel

CoRR, 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

Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming.

Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Pipeline Combinators for Gradual AutoML.

Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Learning GraphQL Query Cost.

Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Lale: Consistent Automated Machine Learning.

Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar

CoRR, 2020

Mining Documentation to Extract Hyperparameter Schemas.

Guillaume Baudart, Peter D. Kirchner, Martin Hirzel, Kiran Kate

CoRR, 2020

A principled approach to GraphQL query cost analysis.

Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim Alain Laredo

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Reactive probabilistic programming.

Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Stream Processing Languages and Abstractions.

Martin Hirzel, Guillaume Baudart

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Machine learning in Python with no strings attached.

Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

An Empirical Study of GraphQL Schemas.

Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel

Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

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

Yaps: Python Frontend to Stan.

Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar

CoRR, 2018

Extending Stan for Deep Probabilistic Programming.

Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar

CoRR, 2018

Deep Probabilistic Programming Languages: A Qualitative Study.

Guillaume Baudart, Martin Hirzel, Louis Mandel

CoRR, 2018

A reactive language for analyzing cloud logs.

Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

Reactive chatbot programming.

Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

Protecting chatbots from toxic content.

Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

2017

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

Guillaume Baudart

PhD thesis, 2017

Symbolic simulation of dataflow synchronous programs with timers.

Guillaume Baudart, Timothy Bourke, Marc Pouzet

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

2016

Loosely Time-Triggered Architectures: Improvements and Comparisons.

Guillaume Baudart, Albert Benveniste, Timothy Bourke

ACM Trans. Embed. Comput. Syst., 2016

Soundness of the quasi-synchronous abstraction.

Guillaume Baudart, Timothy Bourke, Marc Pouzet

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2013

Programming mixed music in ReactiveML.

Guillaume Baudart, Louis Mandel, Marc Pouzet

Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, 2013

A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music.

Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet

Proceedings of the International Conference on Embedded Software, 2013