Publications

8 results for Ana Milanova

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