Travelled to:1 × China
1 × France
1 × Hungary
1 × Italy
1 × Spain
1 × Switzerland
10 × USA
3 × Canada
Collaborated with:Y.Liu B.G.Ryder W.Huang A.Rountev ∅ Y.Dong W.Dietl M.D.Ernst J.Vitek J.Dolby
Talks about:analysi (10) infer (10) java (7) flow (6) static (5) precis (5) object (5) sensit (3) point (3) check (3)
Person: Ana Milanova
DBLP: Milanova:Ana
Contributed to:
2015
2014
2012
2012
2012
2011
2010
2010
2009
2008
20072007
2005
2005200320022002
200220012018Wrote 21 papers:
- ISSTA-2015-HuangDMD #analysis #android #precise #scalability
- Scalable and precise taint analysis for Android (WH, YD, AM, JD), pp. 106–117.
- FASE-2014-HuangDM #analysis #java #type system #web
- Type-Based Taint Analysis for Java Web Applications (WH, YD, AM), pp. 140–154.
- ECOOP-2012-HuangDME
- Inference and Checking of Object Ownership (WH, WD, AM, MDE), pp. 181–206.
- FSE-2012-HuangM #java #named
- ReImInfer: method purity inference for Java (WH, AM), p. 38.
- FSE-2012-MilanovaH
- Inference and checking of context-sensitive pluggable types (AM, WH), p. 26.
- OOPSLA-2012-HuangMDE
- Reim & ReImInfer: checking and inference of reference immutability and method purity (WH, AM, WD, MDE), pp. 879–896.
- TOOLS-EUROPE-2011-MilanovaV
- Static Dominance Inference (AM, JV), pp. 211–227.
- CSMR-2010-LiuM #analysis #case study #data flow
- Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows (YL, AM), pp. 146–155.
- WCRE-2010-MilanovaL #comprehension #concurrent #java #source code #static analysis
- Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs (AM, YL), pp. 45–54.
- ICPC-2009-LiuM #static analysis
- Practical static analysis for inference of security-related program properties (YL, AM), pp. 50–59.
- PASTE-2008-LiuM #data flow #static analysis
- Static analysis for inference of explicit information flow (YL, AM), pp. 50–56.
- ICSE-2007-LiuM #data access #uml
- Ownership and Immutability Inference for UML-Based Object Access Control (YL, AM), pp. 323–332.
- PASTE-2007-Milanova #analysis #java #points-to
- Light context-sensitive points-to analysis for java (AM), pp. 25–30.
- ASE-2005-Milanova #composition #diagrams #identification #precise #uml
- Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.
- ICSM-2005-MilanovaR #analysis #constraints #precise
- Annotated Inclusion Constraints for Precise Flow Analysis (AM, BGR), pp. 187–196.
- ICSE-2003-RountevMR #analysis #java #morphism #polymorphism #testing
- Fragment Class Analysis for Testing of Polymorphism in Java Software (AR, AM, BGR), pp. 210–220.
- ICSM-2002-MilanovaRR #diagrams #precise
- Constructing Precise Object Relation Diagrams (AM, AR, BGR), pp. 586–595.
- ISSTA-2002-MilanovaRR #analysis #java #points-to
- Parameterized object sensitivity for points-to and side-effect analyses for Java (AM, AR, BGR), pp. 1–11.
- SCAM-2002-MilanovaRR #graph #pointer #precise
- Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.
- OOPSLA-2001-RountevMR #analysis #constraints #java #points-to #using
- Points-To Analysis for Java using Annotated Constraints (AR, AM, BGR), pp. 43–55.
- ECOOP-2018-Milanova
- Definite Reference Mutability (AM), p. 30.