PoTo: A Hybrid Andersen’s Points-To Analysis for Python
- Ingkarat Rak-Amnouykit
- Ana Milanova
- et al.
- 2025
- ECOOP 2025
Publications
19 results for Guillaume Baudart
Inference Plans for Hybrid Particle Filtering
- Ellie Y. Cheng
- Eric Atkinson
- et al.
- 2025
- Proceedings of the ACM on Programming Languages
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