PoTo: A Hybrid Andersen's Points-to Analysis for Python

Autor: Rak-amnouykit, Ingkarat, Milanova, Ana, Baudart, Guillaume, Hirzel, Martin, Dolby, Julian

As Python is increasingly being adopted for large and complex programs, the importance of static analysis for Python (such as type inference) grows. Unfortunately, static analysis for Python remains a challenging task due to its dynamic language feat

Externí odkaz: http://arxiv.org/abs/2409.03918

Extracting Hyperparameter Constraints from Code

Autor: Rak-Amnouykit, Ingkarat, Milanova, Ana, Baudart, Guillaume, Hirzel, Martin, Dolby, Julian

Publikováno v: ICLR Workshop on Security and Safety in Machine Learning Systems
ICLR Workshop on Security and Safety in Machine Learning Systems, May 2021, Virtual, United States

International audience; Machine-learning operators often have correctness constraints that cut across multiple hyperparameters and/or data. Violating these constraints causes runtime exceptions, but they are usually documented only informally or not

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5af2471391e3bb8ad3774eadb7d0cb7f
https://hal.science/hal-03401683