Python 3 types in the wild: a tale of two type systems. - Ingkarat Rak-amnouykit; Daniel McCrevan; Ana L. Milanova; Martin Hirzel; Julian Dolby (DLS, 2020)

The raise of machine learning hyperparameter constraints in Python code. - Ingkarat Rak-amnouykit; Ana L. Milanova; Guillaume Baudart; Martin Hirzel; Julian Dolby (ISSTA, 2022)

Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. - Ingkarat Rak-amnouykit; Ana L. Milanova; Guillaume Baudart; Martin Hirzel; Julian Dolby (Softw. Pract. Exp., 2024)

PoTo: A Hybrid Andersen's Points-To Analysis for Python. - Ingkarat Rak-amnouykit; Ana L. Milanova; Guillaume Baudart; Martin Hirzel; Julian Dolby (ECOOP, 2025)