Guillaume Baudart

According to our database1, Guillaume Baudart authored at least 33 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints.
Softw. Pract. Exp., March, 2024

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

Density-Based Semantics for Reactive Probabilistic Programming.
CoRR, 2023

Verifying Performance Properties of Probabilistic Inference.
CoRR, 2023

2022
Semi-symbolic inference for efficient streaming probabilistic programming.
Proc. ACM Program. Lang., 2022

JAX based parallel inference for reactive probabilistic programming.
Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022

The raise of machine learning hyperparameter constraints in Python code.
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.
Proc. ACM Program. Lang., 2021

Automatic Guide Generation for Stan via NumPyro.
CoRR, 2021

Learning GraphQL Query Costs (Extended Version).
CoRR, 2021

Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Pipeline Combinators for Gradual AutoML.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Learning GraphQL Query Cost.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020
Lale: Consistent Automated Machine Learning.
CoRR, 2020

Mining Documentation to Extract Hyperparameter Schemas.
CoRR, 2020

A principled approach to GraphQL query cost analysis.
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.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
Stream Processing Languages and Abstractions.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Machine learning in Python with no strings attached.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

An Empirical Study of GraphQL Schemas.
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

2018
Stream Processing Languages in the Big Data Era.
SIGMOD Rec., 2018

Yaps: Python Frontend to Stan.
CoRR, 2018

Extending Stan for Deep Probabilistic Programming.
CoRR, 2018

Deep Probabilistic Programming Languages: A Qualitative Study.
CoRR, 2018

A reactive language for analyzing cloud logs.
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

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

Protecting chatbots from toxic content.
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).
PhD thesis, 2017

Symbolic Simulation of Dataflow Synchronous Programs with Timers.
Proceedings of the Languages, Design Methods, and Tools for Electronic System Design, 2017

2016
Loosely Time-Triggered Architectures: Improvements and Comparisons.
ACM Trans. Embed. Comput. Syst., 2016

Soundness of the quasi-synchronous abstraction.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2013
Programming mixed music in ReactiveML.
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.
Proceedings of the International Conference on Embedded Software, 2013


  Loading...