Publications

17 results for Guillaume Baudart

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
The raise of machine learning hyperparameter constraints in Python code
- - Ingkarat Rak-Amnouykit
  - Ana Milanova
  - et al.
- 2022
- ISSTA 2022
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
- - Guillaume Baudart
  - Javier Burroni
  - et al.
- 2021
- PLDI 2021
Extracting Hyperparameter Constraints from Code
- - Ingkarat Rak-amnouykit
  - Ana Milanova
  - et al.
- 2021
- ICLR 2021
A principled approach to GraphQL query cost analysis
- - Alan Cha
  - Erik Wittern
  - et al.
- 2020
- ESEC/FSE 2020
Lale: Consistent Automated Machine Learning
- - Guillaume Baudart
  - Martin Hirzel
  - et al.
- 2020
- KDD 2020
Mining Documentation to Extract Hyperparameter Schemas
- - Guillaume Baudart
  - Peter D. Kirchner
  - et al.
- 2020
- ICML 2020
Reactive probabilistic programming
- - Guillaume Baudart
  - Louis Mandel
  - et al.
- 2020
- PLDI 2020
Machine learning in python with no strings attached
- - Guillaume Baudart
  - Martin Hirzel
  - et al.
- 2019
- MAPL/PLDI 2019