Guillaume Baudart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | PoTo: A Hybrid Andersen's Points-To Analysis for Python. | Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2022 | ISSTA | The raise of machine learning hyperparameter constraints in Python code. | Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2021 | PLDI | Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. | Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar |
| 2020 | PLDI | Reactive probabilistic programming. | Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin |
| 2019 | ICSOC | An Empirical Study of GraphQL Schemas. | Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel |
| 2019 | PLDI | Machine learning in Python with no strings attached. | Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar |
| 2018 | OOPSLA | Protecting chatbots from toxic content. | Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar |
| 2018 | OOPSLA | Reactive chatbot programming. | Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2018 | OOPSLA | A reactive language for analyzing cloud logs. | Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri |
| 2017 | FDL | Symbolic simulation of dataflow synchronous programs with timers. | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
| 2017 | FDL | Symbolic Simulation of Dataflow Synchronous Programs with Timers. | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
| 2016 | FMCAD | Soundness of the quasi-synchronous abstraction. | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
| 2015 | EMSOFT | Loosely time-triggered architectures: improvements and comparisons. | Guillaume Baudart, Albert Benveniste, Timothy Bourke |
| 2013 | EMSOFT | A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. | Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet |
| 2013 | ICFP | Programming mixed music in ReactiveML. | Guillaume Baudart, Louis Mandel, Marc Pouzet |