| 2025 | ECOOP | PoTo: A Hybrid Andersen's Points-To Analysis for Python. | Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2025 | ICLR | Privacy-Preserving Personalized Federated Prompt Learning for Multimodal Large Language Models. | Linh Tran, Wei Sun, Stacy Patterson, Ana L. Milanova |
| 2023 | CCS | COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation. | Benjamin Levy, Muhammad Ishaq, Benjamin Sherman, Lindsey Kennard, Ana L. Milanova, Vassilis Zikas |
| 2022 | ISSTA | The raise of machine learning hyperparameter constraints in Python code. | Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2022 | MSR | Complex Python Features in the Wild. | Yi Yang, Ana L. Milanova, Martin Hirzel |
| 2020 | DLS | Python 3 types in the wild: a tale of two type systems. | Ingkarat Rak-amnouykit, Daniel McCrevan, Ana L. Milanova, Martin Hirzel, Julian Dolby |
| 2019 | CCS | Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing. | Muhammad Ishaq, Ana L. Milanova, Vassilis Zikas |
| 2018 | ECOOP | Definite Reference Mutability. | Ana L. Milanova |
| 2018 | PPoPP | SecureMR: secure mapreduce using homomorphic encryption and program partitioning. | Yao Dong, Ana L. Milanova, Julian Dolby |
| 2018 | SIGCSE | 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, Jessica Wang |
| 2018 | SIGCSE | 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 |
| 2017 | SIGCSE | Using Static Analysis for Automated Assignment Grading in Introductory Programming Classes (Abstract Only). | Samuel Breese, Ana L. Milanova, Barbara Cutler |
| 2017 | SIGCSE | 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 |
| 2015 | ISSTA | Scalable and precise taint analysis for Android. | Wei Huang, Yao Dong, Ana L. Milanova, Julian Dolby |
| 2014 | FASE | Type-Based Taint Analysis for Java Web Applications. | Wei Huang, Yao Dong, Ana L. Milanova |
| 2013 | ECOOP | Composing polymorphic information flow systems with reference immutability. | Ana L. Milanova, Wei Huang |
| 2012 | ECOOP | Inference and Checking of Object Ownership. | Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst |
| 2012 | OOPSLA | Reim & ReImInfer: checking and inference of reference immutability and method purity. | Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst |
| 2011 | APLAS | Static Object Race Detection. | Ana L. Milanova, Wei Huang |
| 2009 | ICSE | Static ownership inference for reasoning against concurrency errors. | Ana L. Milanova, Yin Liu |
| 2007 | ICSE | Ownership and Immutability Inference for UML-Based Object Access Control. | Yin Liu, Ana L. Milanova |
| 2006 | Broadnets | A Secure Programming Paradigm for Network Virtualization. | Ana L. Milanova, Sonia Fahmy, David R. Musser, Blent Yener |
| 2004 | ISSTA | Testing of java web services for robustness. | Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott |
| 2003 | ICSE | Fragment Class Analysis for Testing of Polymorphism in Java Software. | Atanas Rountev, Ana L. Milanova, Barbara G. Ryder |
| 2002 | ISSTA | Parameterized object sensitivity for points-to and side-effect analyses for Java. | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
| 2002 | SCAM | Precise Call Graph Construction in the Presence of Function Pointers. | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
| 2001 | OOPSLA | Points-To Analysis for Java using Annotated Constraints. | Atanas Rountev, Ana L. Milanova, Barbara G. Ryder |