Recent work:

  1. Wei Huang, Yao Dong and Ana Milanova, "DFlow & DroidInfer: Effective Type-based Taint Analysis for Android", June 2014 draft. [pdf]

  2. Ana Milanova, Wei Huang and Yao Dong, "CFL-Reachability and Context-sensitive Integrity Types", Proceedings of ACM Conference on Principles and Practice of Programming in Java (PPPJ 2014), September 2014. Copyright ACM. [pdf]

  3. Wei Huang, Yao Dong and Ana Milanova, "Type-based Taint Analysis for Java Web Applications", Proceedings of European Conference on Fundamental Approaches to Sofware Engineering (FASE 2014), April 2014. Copyright Springer. [pdf] [Technical Report]

  4. Ana Milanova and Wei Huang, "Composing Polymorphic Information Flow Systems with Reference Immutability", Proceedings of ACM SIGPLAN Workshop on Formal Techniques for Java-like Programs at ECOOP (FTfJP 2013), June 2013. Copyright ACM. [pdf]

2012:

  1. Wei Huang and Ana Milanova "Inferring AJ Types for Concurrent Libraries", Workshop on the Foundations of Object-Oriented Languages at OOPSLA (FOOL 2012), October 2012. [pdf]

  2. Ana Milanova and Wei Huang, "Dataflow and Type-based Formulations for Reference Immutability", Workshop on the Foundations of Object-Oriented Languages at OOPSLA (FOOL 2012), October 2012. [pdf]

  3. Ana Milanova and Wei Huang, "Inference and Checking of Context-sensitive Pluggable Types", Proceedings of ACM SIGSOFT Conference on Foundations of Sofware Engineering, Track on New Ideas and Emerging Results (FSE NIER 2012), November 2012.

  4. Wei Huang, Ana Milanova, "ReImInfer: Method Purity Inference for Java", Proceedings of ACM SIGSOFT Conference on Foundations of Sofware Engineering, Tool Demo Track (FSE Tool Demo 2012), November 2012. [pdf]

  5. Wei Huang, Ana Milanova, Werner Dietl and Michael D. Ernst, "ReIm and ReImInfer: Checking and Inference of Reference Immutability and Method Purity", Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA 2012), October 2012. [pdf]

  6. Wei Huang, Werner Dietl, Ana Milanova and Michael D. Ernst, "Inference and Checking of Object Ownership", Proceedings of European Conference on Object-Oriented Programming (ECOOP 2012), June 2012. [pdf]

2011:

  1. Ana Milanova and Wei Huang, "Static Object Race Detection", Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2011), December 2011. [pdf]

  2. Wei Huang and Ana Milanova, "On Optimality of Ownership Type Inference", Poster at ECOOP 2011, July 2011. [pdf]

  3. Wei Huang and Ana Milanova, "Towards Effective Inference and Checking of Ownership Types", Proceedings of the International Workshop on Aliasing, Confinement and Ownership at ECOOP (IWACO 2011), July 2011. [pdf]

  4. Ana Milanova and Jan Vitek, "Static Dominance Inference", Proceedings of TOOLS Europe (TOOLS 2011), June 2011. [pdf]

2010:

  1. Ana Milanova and Yin Liu, "On the Structure of Sharing in Open Concurrent Java Programs", Proceedings of the IEEE Working Conference on Reverse Engineering (WCRE 2010). October 2010. [pdf]

  2. Yin Liu and Ana Milanova, "Static Information Flow Analysis with Handling of Implicit Flows and a Study of the Effect of Implicit vs Explicit Flows", Proceedings of the 14th European Conference on Software Maintenance and Reengineering (CSMR 2010). March 2010. [pdf]

2009:

  1. Yin Liu and Ana Milanova, "Practical Static Analysis for Inference of Security-related Program Properties", Proceedings of the IEEE International Conference on Program Comprehension (ICPC 2009), May 2009. [pdf]

  2. Ana Milanova and Yin Liu, "Static Ownership Inference for Reasoning Against Concurrency Errors", Proceedings of the ACM SIGSOFT/IEEE International Conference on Software Engineering (ICSE 2009), Track on New Ideas and Emerging Results. May 2009. [pdf]

2008:

  1. Yin Liu and Ana Milanova, "Static Analysis for Inference of Explicit Information Flow", Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), November 2008. [pdf]

  2. Ana Milanova, "Static Inference of Universe Types", Proceedings of the International Workshop on Aliasing, Confinement and Ownership at ECOOP'08 (IWACO 2008), July 2008. [pdf]

2007:

  1. Ana Milanova, "Light Context-sensitive Points-to Analysis for Java", Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2007), June 2007. [pdf]

  2. Yin Liu and Ana Milanova, "Ownership and Immutability Inference for UML-based Object Access Control", Proceedings of the ACM SIGSOFT/IEEE International Conference on Software Engineering (ICSE 2007), May 2007. [pdf]

  3. Ana Milanova, "Composition Inference for UML Class Diagrams", International Journal of Automated Software Engineering (JASE), volume 14, issue 2, pages 179-213, June 2007. Special issue with extended versions of the best papers from ASE'05. [pdf]

2006:

  1. Yin Liu and Ana Milanova, "Static Analysis for Dynamic Coupling Measures", Proceedings of the 16th IBM Centre for Advanced Studies Annual International Conference on Computer Science and Software Engineering (CASCON 2006), October 2006. [pdf]

  2. Ana Milanova, Sonia Fahmy, David Musser and Bulent Yener, "A Secure Programming Paradigm for Network Virtualization" (invited paper, 10 pages), Proceedings of the IEEE International Conference on Broadband Communications, Networks and Systems (BroadNets 2006), October 2006.

2005:

  1. Ana Milanova, "Precise Identification of Composition Relationships for UML Class Diagrams", Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 2005. [pdf]

  2. Ana Milanova and Barbara G. Ryder, "Annotated Inclusion Constraints for Precise Flow Analysis", Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2005), September 2005. [pdf]

  3. Chen Fu, Ana Milanova, Barbara G. Ryder, and David Wannacott, "Robustness Testing of Java Server Applications", IEEE Transactions on Software Engineering (TSE),vol. 31, no. 4, pp. 292-311, April 2005. Special issue with extended versions of the best papers from ISSTA'04. [pdf]

  4. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to Analysis for Java", ACM Transactions on Software Engineering and Methodology (TOSEM),vol. 14, no. 1, pp. 1-41, January 2005. [pdf]

2004:

  1. Atanas Rountev, Ana Milanova and Barbara G. Ryder, "Fragment Class Analysis for Testing of Polymorphism in Java Software", IEEE Transactions on Software Engineering (TSE),vol. 30, no. 6, pp. 372-387, June 2004. Special issue with extended versions of the best papers from ICSE'03. [pdf]

  2. Chen Fu, Barbara G. Ryder, Ana Milanova, and David Wonnacott, "Testing of Java Web Services for Robustness", Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004), July, 2004. [pdf]

  3. Ana Milanova, Atanas Rountev and Barbara G. Ryder, "Precise Call Graphs for C Programs with Function Pointers", International Journal of Automated Software Engineering (JASE), volume 11, issue 1, pages 7-26, January 2004. Special issue with extended versions of the best papers from SCAM'02. [pdf]

2001-2003:

  1. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Fragment Class Analysis for Testing of Polymorphism in Java Software", Proceedings of the ACM SIGSOFT/IEEE International Conference on Software Engineering (ICSE 2003), May, 2003. [pdf]

  2. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java", Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), July, 2002. [pdf]

  3. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Precise Call Graph Construction in the Presence of Function Pointers", Proceedings of the IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), October, 2002. [pdf]

  4. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Constructing Precise Object Relation Diagrams", Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2002), October, 2002. [pdf]

  5. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Points-to Analysis for Java Using Annotated Constraints", Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001), October, 2001. [pdf]

Thesis

  1. Ana Milanova, "Precise and Practical Flow Analysis of Object-oriented Software", Ph.D. thesis, Rutgers University, August 2003