Ingkarat Rak-amnouykit

According to our database, Ingkarat Rak-amnouykit authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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., March, 2024

2022

The raise of machine learning hyperparameter constraints in Python code.

Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2020

Python 3 types in the wild: a tale of two type systems.

Ingkarat Rak-amnouykit, Daniel McCrevan, Ana L. Milanova, Martin Hirzel, Julian Dolby

Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020