Publications

9 results for Ana Milanova

PoTo: A Hybrid Andersen’s Points-To Analysis for Python
- - Ingkarat Rak-Amnouykit
  - Ana Milanova
  - et al.
- 2025
- ECOOP 2025
Conference paper
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
Paper
The raise of machine learning hyperparameter constraints in Python code
- - Ingkarat Rak-Amnouykit
  - Ana Milanova
  - et al.
- 2022
- ISSTA 2022
Conference paper
Complex Python Features in the Wild
- - Yi Yang
  - Ana Milanova
  - et al.
- 2022
- MSR 2022
Conference paper
Python 3 types in the wild: A tale of two type systems
- - Ingkarat Rak-Amnouykit
  - Daniel McCrevan
  - et al.
- 2020
- DLS 2020
Conference paper
SecureMR: Secure mapreduce computation using homomorphic encryption and program partitioning
- - Yao Dong
  - Ana Milanova
  - et al.
- 2018
- HoTSoS 2018
Conference paper
POSTER: SecureMR: Secure MapReduce using homomorphic encryption and program partitioning
- - Yao Dong
  - Ana Milanova
  - et al.
- 2018
- PPoPP 2018
Conference paper
JCrypt: Towards computation over encrypted data
- - Yao Dong
  - Ana Milanova
  - et al.
- 2016
- PPPJ 2016
Conference paper
Scalable and precise taint analysis for android
- - Wei Huang
  - Yao Dong
  - et al.
- 2015
- ISSTA 2015
Conference paper