Ana L. Milanova

61 papers A* 6A 15B 3C 3Journal 15Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	PBM-VFL: Vertical Federated Learning with Feature and Sample Privacy. CoRR Linh Tran, Timothy Castiglia, Stacy Patterson, Ana L. Milanova
2025	A	`conf`	PoTo: A Hybrid Andersen's Points-To Analysis for Python. ECOOP Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
2025	A*	`conf`	Privacy-Preserving Personalized Federated Prompt Learning for Multimodal Large Language Models. ICLR Linh Tran, Wei Sun, Stacy Patterson, Ana L. Milanova
2025	J	`jnl`	Privacy-Preserving Personalized Federated Prompt Learning for Multimodal Large Language Models. CoRR Linh Tran, Wei Sun, Stacy Patterson, Ana L. Milanova
2024	J	`jnl`	PoTo: A Hybrid Andersen's Points-to Analysis for Python. CoRR Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
2024	J	`jnl`	Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. Softw. Pract. Exp. Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
2023	A*	`conf`	COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation. CCS Benjamin Levy, Muhammad Ishaq, Benjamin Sherman, Lindsey Kennard, Ana L. Milanova, Vassilis Zikas
2023	J	`jnl`	Compilation and Backend-Independent Vectorization for Multi-Party Computation. IACR Cryptol. ePrint Arch. Benjamin Levy, Benjamin Sherman, Muhammad Ishaq, Lindsey Kennard, Ana L. Milanova, Vassilis Zikas
2022	A	`conf`	Complex Python Features in the Wild. MSR Yi Yang, Ana L. Milanova, Martin Hirzel
2022	A	`conf`	The raise of machine learning hyperparameter constraints in Python code. ISSTA Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
2020	J	`jnl`	FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data. CoRR Ana L. Milanova
2020	J	`jnl`	FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability. Proc. ACM Program. Lang. Ana L. Milanova
2020	—	`conf`	Formalizing Event-Driven Behavior of Serverless Applications. ESOCC Matthew Obetz, Anirban Das, Timothy Castiglia, Stacy Patterson, Ana L. Milanova
2020	C	`conf`	Python 3 types in the wild: a tale of two type systems. DLS Ingkarat Rak-amnouykit, Daniel McCrevan, Ana L. Milanova, Martin Hirzel, Julian Dolby
2020	—	`conf`	SecureMCMR: Computation Outsourcing for MapReduce Applications. CSCML Lindsey Kennard, Ana L. Milanova
2019	A*	`conf`	Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing. CCS Muhammad Ishaq, Ana L. Milanova, Vassilis Zikas
2019	J	`jnl`	Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing. IACR Cryptol. ePrint Arch. Muhammad Ishaq, Ana L. Milanova, Vassilis Zikas
2019	J	`jnl`	Formalizing Event-Driven Behavior of Serverless Applications. CoRR Matthew Obetz, Stacy Patterson, Ana L. Milanova
2019	—	`conf`	Static Call Graph Construction in AWS Lambda Serverless Applications. HotCloud Matthew Obetz, Stacy Patterson, Ana L. Milanova
2018	J	`jnl`	Definite Reference Mutability (Artifact). Dagstuhl Artifacts Ser. Ana L. Milanova, Wei Huang
2018	A	`conf`	Definite Reference Mutability. ECOOP Ana L. Milanova
2018	A	`conf`	Program Analysis Tools in Automated Grading of Homework Assignments: (Abstract Only). SIGCSE Ana L. Milanova, Barbara Cutler, Buster O. Holzbauer, Evan Maicus, Samuel Breese, Elizabeth Dinella, Matthew Peveler
2018	—	`conf`	SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning. HotSoS Yao Dong, Ana L. Milanova, Julian Dolby
2018	B	`conf`	SecureMR: secure mapreduce using homomorphic encryption and program partitioning. PPoPP Yao Dong, Ana L. Milanova, Julian Dolby
2018	A	`conf`	Supporting Team Submissions and Peer Grading within Submitty: (Abstract Only). SIGCSE 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
2017	A	`conf`	Submitty: An Open Source, Highly-Configurable Platform for Grading of Programming Assignments (Abstract Only). SIGCSE Matthew Peveler, Jeramey Tyler, Samuel Breese, Barbara Cutler, Ana L. Milanova
2017	A	`conf`	Using Static Analysis for Automated Assignment Grading in Introductory Programming Classes (Abstract Only). SIGCSE Samuel Breese, Ana L. Milanova, Barbara Cutler
2016	—	`conf`	Inference and Checking of Object Immutability. PPPJ Ana L. Milanova, Yao Dong
2016	—	`conf`	JCrypt: Towards Computation over Encrypted Data. PPPJ Yao Dong, Ana L. Milanova, Julian Dolby
2015	A	`conf`	Scalable and precise taint analysis for Android. ISSTA Wei Huang, Yao Dong, Ana L. Milanova, Julian Dolby
2014	—	`conf`	CFL-reachability and context-sensitive integrity types. PPPJ Ana L. Milanova, Wei Huang, Yao Dong
2014	B	`conf`	Type-Based Taint Analysis for Java Web Applications. FASE Wei Huang, Yao Dong, Ana L. Milanova
2013	—	`conf`	Composing polymorphic information flow systems with reference immutability. FTfJP@ECOOP Ana L. Milanova, Wei Huang
2012	A	`conf`	Inference and Checking of Object Ownership. ECOOP Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst
2012	—	`conf`	Inference and checking of context-sensitive pluggable types. SIGSOFT FSE Ana L. Milanova, Wei Huang
2012	—	`conf`	ReImInfer: method purity inference for Java. SIGSOFT FSE Wei Huang, Ana L. Milanova
2012	A	`conf`	Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst
2011	—	`conf`	Static Dominance Inference. TOOLS (49) Ana L. Milanova, Jan Vitek
2011	B	`conf`	Static Object Race Detection. APLAS Ana L. Milanova, Wei Huang
2010	—	`conf`	Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs. WCRE Ana L. Milanova, Yin Liu
2010	—	`conf`	Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows. CSMR Yin Liu, Ana L. Milanova
2009	A	`conf`	Practical static analysis for inference of security-related program properties. ICPC Yin Liu, Ana L. Milanova
2009	—	`conf`	Static ownership inference for reasoning against concurrency errors. ICSE Companion Ana L. Milanova, Yin Liu
2008	—	`conf`	Static analysis for inference of explicit information flow. PASTE Yin Liu, Ana L. Milanova
2007	J	`jnl`	Composition inference for UML class diagrams. Autom. Softw. Eng. Ana L. Milanova
2007	—	`conf`	Light context-sensitive points-to analysis for java. PASTE Ana L. Milanova
2007	A*	`conf`	Ownership and Immutability Inference for UML-Based Object Access Control. ICSE Yin Liu, Ana L. Milanova
2006	C	`conf`	A Secure Programming Paradigm for Network Virtualization. BROADNETS Ana L. Milanova, Sonia Fahmy, David R. Musser, Bülent Yener
2006	—	`conf`	Static analysis for dynamic coupling measures. CASCON Yin Liu, Ana L. Milanova
2005	—	`conf`	Annotated Inclusion Constraints for Precise Flow Analysis. ICSM Ana L. Milanova, Barbara G. Ryder
2005	J	`jnl`	Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol. Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2005	A*	`conf`	Precise identification of composition relationships for UML class diagrams. ASE Ana L. Milanova
2005	J	`jnl`	Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott
2004	J	`jnl`	Fragment Class Analysis for Testing of Polymorphism in Java Software. IEEE Trans. Software Eng. Atanas Rountev, Ana L. Milanova, Barbara G. Ryder
2004	J	`jnl`	Precise Call Graphs for C Programs with Function Pointers. Autom. Softw. Eng. Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2004	A	`conf`	Testing of java web services for robustness. ISSTA Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott
2003	A*	`conf`	Fragment Class Analysis for Testing of Polymorphism in Java Software. ICSE Atanas Rountev, Ana L. Milanova, Barbara G. Ryder
2002	—	`conf`	Constructing Precise Object Relation Diagrams. ICSM Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2002	A	`conf`	Parameterized object sensitivity for points-to and side-effect analyses for Java. ISSTA Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2002	C	`conf`	Precise Call Graph Construction in the Presence of Function Pointers. SCAM Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2001	A	`conf`	Points-To Analysis for Java using Annotated Constraints. OOPSLA Atanas Rountev, Ana L. Milanova, Barbara G. Ryder