default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuillaume Baudart
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j5]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): 363-393 (2024)- [i17]Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin:
Inference Plans for Hybrid Particle Filtering. CoRR abs/2408.11283 (2024) - [i16]Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby:
PoTo: A Hybrid Andersen's Points-to Analysis for Python. CoRR abs/2409.03918 (2024) - 2023
- [i15]Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin:
Verifying Performance Properties of Probabilistic Inference. CoRR abs/2307.07355 (2023) - [i14]Guillaume Baudart, Louis Mandel, Christine Tasson:
Density-Based Semantics for Reactive Probabilistic Programming. CoRR abs/2308.01676 (2023) - [i13]Waïss Azizian, Guillaume Baudart, Marc Lelarge:
Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation. CoRR abs/2312.09860 (2023) - 2022
- [j4]Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin:
Semi-symbolic inference for efficient streaming probabilistic programming. Proc. ACM Program. Lang. 6(OOPSLA2): 1668-1696 (2022) - [c18]Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby:
The raise of machine learning hyperparameter constraints in Python code. ISSTA 2022: 580-592 - [c17]Guillaume Baudart, Louis Mandel, Reyyan Tekin:
JAX based parallel inference for reactive probabilistic programming. LCTES 2022: 26-36 - [i12]Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin:
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming. CoRR abs/2209.07490 (2022) - 2021
- [j3]Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin:
Statically bounded-memory delayed sampling for probabilistic streams. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [c16]Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern:
Learning GraphQL Query Cost. ASE 2021: 1146-1150 - [c15]Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay:
Pipeline Combinators for Gradual AutoML. NeurIPS 2021: 19705-19718 - [c14]Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar:
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. PLDI 2021: 497-510 - [i11]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 abs/2108.11139 (2021) - [i10]Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin:
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams. CoRR abs/2109.12473 (2021) - [i9]Guillaume Baudart, Louis Mandel:
Automatic Guide Generation for Stan via NumPyro. CoRR abs/2110.11790 (2021) - 2020
- [c13]Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin:
Reactive probabilistic programming. PLDI 2020: 898-912 - [c12]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: 257-268 - [i8]Guillaume Baudart, Peter D. Kirchner, Martin Hirzel, Kiran Kate:
Mining Documentation to Extract Hyperparameter Schemas. CoRR abs/2006.16984 (2020) - [i7]Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar:
Lale: Consistent Automated Machine Learning. CoRR abs/2007.01977 (2020) - [i6]Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim Alain Laredo:
A Principled Approach to GraphQL Query Cost Analysis. CoRR abs/2009.05632 (2020)
2010 – 2019
- 2019
- [c11]Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel:
An Empirical Study of GraphQL Schemas. ICSOC 2019: 3-19 - [c10]Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar:
Machine learning in Python with no strings attached. MAPL@PLDI 2019: 1-9 - [r1]Martin Hirzel, Guillaume Baudart:
Stream Processing Languages and Abstractions. Encyclopedia of Big Data Technologies 2019 - [i5]Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel:
An Empirical Study of GraphQL Schemas. CoRR abs/1907.13012 (2019) - [i4]Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin:
Reactive Probabilistic Programming. CoRR abs/1908.07563 (2019) - 2018
- [j2]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): 29-40 (2018) - [c9]Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Reactive chatbot programming. REBLS@SPLASH 2018: 21-30 - [c8]Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri:
A reactive language for analyzing cloud logs. REBLS@SPLASH 2018: 61-70 - [c7]Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar:
Protecting chatbots from toxic content. Onward! 2018: 99-110 - [i3]Guillaume Baudart, Martin Hirzel, Louis Mandel:
Deep Probabilistic Programming Languages: A Qualitative Study. CoRR abs/1804.06458 (2018) - [i2]Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar:
Extending Stan for Deep Probabilistic Programming. CoRR abs/1810.00873 (2018) - [i1]Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar:
Yaps: Python Frontend to Stan. CoRR abs/1812.04125 (2018) - 2017
- [b1]Guillaume Baudart:
A Synchronous Approach to Quasi-Periodic Systems. (Une Approche Synchrone des Systèmes Quasi-Périodiques). PSL Research University, Paris, France, 2017 - [c6]Guillaume Baudart, Timothy Bourke, Marc Pouzet:
Symbolic simulation of dataflow synchronous programs with timers. FDL 2017: 1-8 - [c5]Guillaume Baudart, Timothy Bourke, Marc Pouzet:
Symbolic Simulation of Dataflow Synchronous Programs with Timers. FDL (Selected Papers) 2017: 45-70 - 2016
- [j1]Guillaume Baudart, Albert Benveniste, Timothy Bourke:
Loosely Time-Triggered Architectures: Improvements and Comparisons. ACM Trans. Embed. Comput. Syst. 15(4): 71:1-71:26 (2016) - [c4]Guillaume Baudart, Timothy Bourke, Marc Pouzet:
Soundness of the quasi-synchronous abstraction. FMCAD 2016: 9-16 - 2015
- [c3]Guillaume Baudart, Albert Benveniste, Timothy Bourke:
Loosely time-triggered architectures: improvements and comparisons. EMSOFT 2015: 85-94 - 2013
- [c2]Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet:
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. EMSOFT 2013: 1:1-1:12 - [c1]Guillaume Baudart, Louis Mandel, Marc Pouzet:
Programming mixed music in ReactiveML. FARM@ICFP 2013: 11-22
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
