BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Milanova:Ana

Contributed to:

ISSTA 20152015
FASE 20142014
ECOOP 20122012
FSE 20122012
OOPSLA 20122012
TOOLS Europe 20112011
CSMR 20102010
WCRE 20102010
ICPC 20092009
PASTE 20082008
ICSE 20072007
PASTE 20072007
ASE 20052005
ICSM 20052005
ICSE 20032003
ICSM 20022002
ISSTA 20022002
SCAM 20022002
OOPSLA 20012001
ECOOP 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.