Ana Milanova

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 17

Top Topics

Programming Assignments

Automatic Assessment

Homomorphic Encryption

Top Venues

Publications

Ingkarat Rak-amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, Julian Dolby
Python 3 types in the wild: a tale of two type systems. DLS (2020)
Ana Milanova
FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data. CoRR (2020)
Matthew Obetz, Anirban Das, Timothy Castiglia, Stacy Patterson, Ana Milanova
Formalizing Event-Driven Behavior of Serverless Applications. ESOCC (2020)
Ana Milanova
FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Lindsey Kennard, Ana Milanova
SecureMCMR: Computation Outsourcing for MapReduce Applications. CSCML (2020)
Matthew Obetz, Stacy Patterson, Ana Milanova
Static Call Graph Construction in AWS Lambda Serverless Applications. HotCloud (2019)
Matthew Obetz, Stacy Patterson, Ana Milanova
Formalizing Event-Driven Behavior of Serverless Applications. CoRR (2019)
Yao Dong, Ana Milanova, Julian Dolby
SecureMR: secure mapreduce using homomorphic encryption and program partitioning. PPOPP (2018)
Barbara Cutler, Matthew Peveler, Samuel Breese, Evan Maicus, Ana Milanova, Buster O. Holzbauer, Andrew Aikens, James Anderson, Josh Barthelmess, Timothy Cyrus, Marisa Lee, Leon Montealegre, Jessica Wang
Supporting Team Submissions and Peer Grading within Submitty: (Abstract Only). SIGCSE (2018)
Ana Milanova, Barbara Cutler, Buster O. Holzbauer, Evan Maicus, Samuel Breese, Elizabeth Dinella, Matthew Peveler
Program Analysis Tools in Automated Grading of Homework Assignments: (Abstract Only). SIGCSE (2018)
Ana Milanova
Definite Reference Mutability. ECOOP (2018)
Yao Dong, Ana Milanova, Julian Dolby
SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning. HotSoS (2018)
Ana Milanova, Wei Huang
Definite Reference Mutability (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Matthew Peveler, Jeramey Tyler, Samuel Breese, Barbara Cutler, Ana Milanova
Submitty: An Open Source, Highly-Configurable Platform for Grading of Programming Assignments (Abstract Only). SIGCSE (2017)
Samuel Breese, Ana Milanova, Barbara Cutler
Using Static Analysis for Automated Assignment Grading in Introductory Programming Classes (Abstract Only). SIGCSE (2017)
Ana Milanova, Yao Dong
Inference and Checking of Object Immutability. PPPJ (2016)
Yao Dong, Ana Milanova, Julian Dolby
JCrypt: Towards Computation over Encrypted Data. PPPJ (2016)
Wei Huang, Yao Dong, Ana Milanova, Julian Dolby
Scalable and precise taint analysis for Android. ISSTA (2015)
Ana Milanova, Wei Huang, Yao Dong
CFL-reachability and context-sensitive integrity types. PPPJ (2014)
Wei Huang, Yao Dong, Ana Milanova
Type-Based Taint Analysis for Java Web Applications. FASE (2014)
Ana Milanova, Wei Huang
Composing polymorphic information flow systems with reference immutability. FTfJP@ECOOP (2013)
Wei Huang, Ana Milanova
ReImInfer: method purity inference for Java. SIGSOFT FSE (2012)
Wei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst
Inference and Checking of Object Ownership. ECOOP (2012)
Ana Milanova, Wei Huang
Inference and checking of context-sensitive pluggable types. SIGSOFT FSE (2012)
Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst
Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA (2012)
Ana Milanova, Wei Huang
Static Object Race Detection. APLAS (2011)
Ana Milanova, Jan Vitek
Static Dominance Inference. TOOLS (49) (2011)
Yin Liu, Ana Milanova
Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows. CSMR (2010)
Ana Milanova, Yin Liu
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs. WCRE (2010)
Yin Liu, Ana Milanova
Practical static analysis for inference of security-related program properties. ICPC (2009)
Ana Milanova, Yin Liu
Static ownership inference for reasoning against concurrency errors. ICSE Companion (2009)
Yin Liu, Ana Milanova
Static analysis for inference of explicit information flow. PASTE (2008)
Ana Milanova
Light context-sensitive points-to analysis for java. PASTE (2007)
Yin Liu, Ana Milanova
Ownership and Immutability Inference for UML-Based Object Access Control. ICSE (2007)
Ana Milanova
Composition inference for UML class diagrams. Autom. Softw. Eng. 14 (2) (2007)
Ana Milanova, Sonia Fahmy, David R. Musser, Bülent Yener
A Secure Programming Paradigm for Network Virtualization. BROADNETS (2006)
Yin Liu, Ana Milanova
Static analysis for dynamic coupling measures. CASCON (2006)
Ana Milanova
Precise identification of composition relationships for UML class diagrams. ASE (2005)
Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott
Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. 31 (4) (2005)
Ana Milanova, Atanas Rountev, Barbara G. Ryder
Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol. 14 (1) (2005)
Ana Milanova, Barbara G. Ryder
Annotated Inclusion Constraints for Precise Flow Analysis. ICSM (2005)
Ana Milanova, Atanas Rountev, Barbara G. Ryder
Precise Call Graphs for C Programs with Function Pointers. Autom. Softw. Eng. 11 (1) (2004)
Atanas Rountev, Ana Milanova, Barbara G. Ryder
Fragment Class Analysis for Testing of Polymorphism in Java Software. IEEE Trans. Software Eng. 30 (6) (2004)
Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott
Testing of java web services for robustness. ISSTA (2004)
Atanas Rountev, Ana Milanova, Barbara G. Ryder
Fragment Class Analysis for Testing of Polymorphism in Java Software. ICSE (2003)
Ana Milanova, Atanas Rountev, Barbara G. Ryder
Parameterized object sensitivity for points-to and side-effect analyses for Java. ISSTA (2002)
Ana Milanova, Atanas Rountev, Barbara G. Ryder
Constructing Precise Object Relation Diagrams. ICSM (2002)
Ana Milanova, Atanas Rountev, Barbara G. Ryder
Precise Call Graph Construction in the Presence of Function Pointers. SCAM (2002)
Atanas Rountev, Ana Milanova, Barbara G. Ryder
Points-To Analysis for Java using Annotated Constraints. OOPSLA (2001)