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
Publications
3 results for Ingkarat Rak-Amnouykit
The raise of machine learning hyperparameter constraints in Python code
- Ingkarat Rak-Amnouykit
- Ana Milanova
- et al.
- 2022
- ISSTA 2022
Python 3 types in the wild: A tale of two type systems
- Ingkarat Rak-Amnouykit
- Daniel McCrevan
- et al.
- 2020
- DLS 2020