Ingkarat Rak-amnouykit

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Static Analysis

Top Venues

Softw. Pract. Exp.

Publications

Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. Softw. Pract. Exp. 54 (3) (2024)
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
The raise of machine learning hyperparameter constraints in Python code. ISSTA (2022)
Ingkarat Rak-amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, Julian Dolby
Python 3 types in the wild: a tale of two type systems. DLS (2020)