Symbolic simulation of dataflow synchronous programs with timers
- Guillaume Baudart
- Timothy Bourke
- et al.
- 2017
- FDL 2017
Publications
Date
Featured collections
Popular topics
17 results for Guillaume Baudart
Programming chatbots in OCaml with Watson Conversation Service
- Guillaume Baudart
- Louis Mandel
- et al.
- 2018
- JFLA 2018
CloudLens, a scripting language to analyze semi-structured textual data
- Guillaume Baudart
- Louis Mandel
- et al.
- 2017
- JFLA 2017
Lale: Consistent Automated Machine Learning
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2020
- KDD 2020
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
- Ingkarat Rak-amnouykit
- Ana Milanova
- et al.
- 2023
- Software - Practice and Experience
Semi-symbolic inference for efficient streaming probabilistic programming
- Eric Atkinson
- Charles Yuan
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
Stream processing languages in the big data era
- Martin Hirzel
- Emanuele Della Valle
- et al.
- 2018
- SIGMOD Record