Points-To Analysis for Java using Annotated Constraints. - Atanas Rountev; Ana L. Milanova; Barbara G. Ryder (OOPSLA, 2001)

Constructing Precise Object Relation Diagrams. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (ICSM, 2002)

Parameterized object sensitivity for points-to and side-effect analyses for Java. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (ISSTA, 2002)

Precise Call Graph Construction in the Presence of Function Pointers. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (SCAM, 2002)

Testing of java web services for robustness. - Chen Fu; Barbara G. Ryder; Ana L. Milanova; David Wonnacott (ISSTA, 2004)

Precise Call Graphs for C Programs with Function Pointers. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (Autom. Softw. Eng., 2004)

Fragment Class Analysis for Testing of Polymorphism in Java Software. - Atanas Rountev; Ana L. Milanova; Barbara G. Ryder (IEEE Trans. Software Eng., 2004)

Annotated Inclusion Constraints for Precise Flow Analysis. - Ana L. Milanova; Barbara G. Ryder (ICSM, 2005)

Precise identification of composition relationships for UML class diagrams. - Ana L. Milanova (ASE, 2005)

Parameterized object sensitivity for points-to analysis for Java. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (ACM Trans. Softw. Eng. Methodol., 2005)

Robustness Testing of Java Server Applications. - Chen Fu; Ana L. Milanova; Barbara G. Ryder; David Wonnacott (IEEE Trans. Software Eng., 2005)

A Secure Programming Paradigm for Network Virtualization. - Ana L. Milanova; Sonia Fahmy; David R. Musser; Bülent Yener (BROADNETS, 2006)

Static analysis for dynamic coupling measures. - Yin Liu; Ana L. Milanova (CASCON, 2006)

Ownership and Immutability Inference for UML-Based Object Access Control. - Yin Liu; Ana L. Milanova (ICSE, 2007)

Light context-sensitive points-to analysis for java. - Ana L. Milanova (PASTE, 2007)

Composition inference for UML class diagrams. - Ana L. Milanova (Autom. Softw. Eng., 2007)

Static analysis for inference of explicit information flow. - Yin Liu; Ana L. Milanova (PASTE, 2008)

Static ownership inference for reasoning against concurrency errors. - Ana L. Milanova; Yin Liu (ICSE Companion, 2009)

Practical static analysis for inference of security-related program properties. - Yin Liu; Ana L. Milanova (ICPC, 2009)

Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows. - Yin Liu; Ana L. Milanova (CSMR, 2010)

Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs. - Ana L. Milanova; Yin Liu (WCRE, 2010)

Static Object Race Detection. - Ana L. Milanova; Wei Huang 001 (APLAS, 2011)

Static Dominance Inference. - Ana L. Milanova; Jan Vitek (TOOLS (49), 2011)

Inference and Checking of Object Ownership. - Wei Huang 001; Werner Dietl; Ana L. Milanova; Michael D. Ernst (ECOOP, 2012)

Reim & ReImInfer: checking and inference of reference immutability and method purity. - Wei Huang 001; Ana L. Milanova; Werner Dietl; Michael D. Ernst (OOPSLA, 2012)

ReImInfer: method purity inference for Java. - Wei Huang 001; Ana L. Milanova (SIGSOFT FSE, 2012)

Inference and checking of context-sensitive pluggable types. - Ana L. Milanova; Wei Huang 001 (SIGSOFT FSE, 2012)

Composing polymorphic information flow systems with reference immutability. - Ana L. Milanova; Wei Huang 001 (FTfJP@ECOOP, 2013)

Type-Based Taint Analysis for Java Web Applications. - Wei Huang 001; Yao Dong 001; Ana L. Milanova (FASE, 2014)

CFL-reachability and context-sensitive integrity types. - Ana L. Milanova; Wei Huang 001; Yao Dong 001 (PPPJ, 2014)

Scalable and precise taint analysis for Android. - Wei Huang 001; Yao Dong 001; Ana L. Milanova; Julian Dolby (ISSTA, 2015)

JCrypt: Towards Computation over Encrypted Data. - Yao Dong 001; Ana L. Milanova; Julian Dolby (PPPJ, 2016)

Inference and Checking of Object Immutability. - Ana L. Milanova; Yao Dong 001 (PPPJ, 2016)

Using Static Analysis for Automated Assignment Grading in Introductory Programming Classes (Abstract Only). - Samuel Breese; Ana L. Milanova; Barbara Cutler (SIGCSE, 2017)

Submitty: An Open Source, Highly-Configurable Platform for Grading of Programming Assignments (Abstract Only). - Matthew Peveler; Jeramey Tyler; Samuel Breese; Barbara Cutler; Ana L. Milanova (SIGCSE, 2017)

Definite Reference Mutability. - Ana L. Milanova (ECOOP, 2018)

SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning. - Yao Dong 001; Ana L. Milanova; Julian Dolby (HotSoS, 2018)

SecureMR: secure mapreduce using homomorphic encryption and program partitioning. - Yao Dong 001; Ana L. Milanova; Julian Dolby (PPoPP, 2018)

Supporting Team Submissions and Peer Grading within Submitty: (Abstract Only). - Barbara Cutler; Matthew Peveler; Samuel Breese; Evan Maicus; Ana L. Milanova; Buster O. Holzbauer; Andrew Aikens; James Anderson; Josh Barthelmess; Timothy Cyrus; Marisa Lee; Leon Montealegre; et al. (SIGCSE, 2018)

Program Analysis Tools in Automated Grading of Homework Assignments: (Abstract Only). - Ana L. Milanova; Barbara Cutler; Buster O. Holzbauer; Evan Maicus; Samuel Breese; Elizabeth Dinella; Matthew Peveler (SIGCSE, 2018)

Definite Reference Mutability (Artifact). - Ana L. Milanova; Wei Huang 001 (Dagstuhl Artifacts Ser., 2018)

Static Call Graph Construction in AWS Lambda Serverless Applications. - Matthew Obetz; Stacy Patterson; Ana L. Milanova (HotCloud, 2019)

Formalizing Event-Driven Behavior of Serverless Applications. - Matthew Obetz; Stacy Patterson; Ana L. Milanova (CoRR, 2019)

Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing. - Muhammad Ishaq; Ana L. Milanova; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2019)

SecureMCMR: Computation Outsourcing for MapReduce Applications. - Lindsey Kennard; Ana L. Milanova (CSCML, 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 (DLS, 2020)

Formalizing Event-Driven Behavior of Serverless Applications. - Matthew Obetz; Anirban Das; Timothy Castiglia; Stacy Patterson; Ana L. Milanova (ESOCC, 2020)

FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data. - Ana L. Milanova (CoRR, 2020)

FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability. - Ana L. Milanova (Proc. ACM Program. Lang., 2020)

The raise of machine learning hyperparameter constraints in Python code. - Ingkarat Rak-amnouykit; Ana L. Milanova; Guillaume Baudart; Martin Hirzel; Julian Dolby (ISSTA, 2022)

Complex Python Features in the Wild. - Yi Yang; Ana L. Milanova; Martin Hirzel (MSR, 2022)

COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation. - Benjamin Levy; Muhammad Ishaq; Benjamin Sherman; Lindsey Kennard; Ana L. Milanova; Vassilis Zikas (CCS, 2023)

Compilation and Backend-Independent Vectorization for Multi-Party Computation. - Benjamin Levy; Benjamin Sherman; Muhammad Ishaq; Lindsey Kennard; Ana L. Milanova; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2023)

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

PoTo: A Hybrid Andersen's Points-To Analysis for Python. - Ingkarat Rak-amnouykit; Ana L. Milanova; Guillaume Baudart; Martin Hirzel; Julian Dolby (ECOOP, 2025)

Privacy-Preserving Personalized Federated Prompt Learning for Multimodal Large Language Models. - Linh Tran; Wei Sun; Stacy Patterson; Ana L. Milanova (ICLR, 2025)

PBM-VFL: Vertical Federated Learning with Feature and Sample Privacy. - Linh Tran; Timothy Castiglia; Stacy Patterson; Ana L. Milanova (CoRR, 2025)