Ana Milanova
Rensselaer Polytechnic Institute
H-index: 20
North America-United States
Top articles of Ana Milanova
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
Software: Practice and Experience
2024/3
Ana Milanova
H-Index: 12
Combine: compilation and backend-independent vectorization for multi-party computation
2023/11/15
Privacy Tradeoffs in Vertical Federated Learning
2023/7/2
The raise of machine learning hyperparameter constraints in Python code
2022/7/18
Ana Milanova
H-Index: 12
Extracting hyperparameter constraints from code
2021/5/7
Ana Milanova
H-Index: 12
Python 3 types in the wild: a tale of two type systems
2020/11/17
Ana Milanova
H-Index: 12
FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability
Proceedings of the ACM on Programming Languages
2020/11/13
Ana Milanova
H-Index: 12
FlowCFL: A framework for type-based reachability analysis in the presence of mutable data
arXiv preprint arXiv:2005.06496
2020/5/13
Ana Milanova
H-Index: 12
SecureMCMR: Computation outsourcing for mapreduce applications
2020
Ana Milanova
H-Index: 12
Formalizing event-driven behavior of serverless applications
2020