Points-to Analysis for Java Using Annotated Constraints (2001)

by Atanas Rountev , Ana Milanova , Barbara G. Ryder
Citations:100 - 26 self

Active Bibliography

20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
7 Points-to Analysis for Java Using Annotated Inclusion Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
Context Sensitivity for Points-to Analysis Using Annotated Inclusion Constraints – Ana Milanova, Barbara G. Ryder
108 Parameterized Object Sensitivity for Points-to Analysis for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
75 Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
14 Fast online pointer analysis – Martin Hirzel, Daniel Von Dincklage, Amer Diwan, Michael Hind - 2005
27 Pointer analysis in the presence of dynamic class loading – Martin Hirzel, Amer Diwan, Michael Hind - 2004
40 Connectivity-Based Garbage Collection – Martin Hirzel, Amer Diwan, Matthew Hertz - 2003
8 Constructing Precise Object Relation Diagrams – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
13 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
2 A Scalable Flow-Sensitive Points-To Analysis – Jonas Lundberg, Welf Löwe - 2007
1 Composition Inference for UML Class Diagrams – Ana Milanova - 2006
48 Fragment Class Analysis for Testing of Polymorphism in Java Software – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2003
40 Extending and Evaluating Flow-insensitive and Context-insensitive Points-to Analyses for Java – Donglin Liang, Maikel Pennings, Mary Jean Harrold - 2001
A DYNAMIC APPLICATION ANALYSIS FRAMEWORK BY – Marie Therese Conte, Marie Therese Conte, Ph. D
120 Practical Virtual Method Call Resolution for Java – Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin - 2000
7 Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages – Ramkrishna Chatterjee, Ramkrishna Chatterjee, Ramkrishna Chatterjee, Dissertation Director, Barbara Gershon Ryder, Barbara Gershon Ryder - 2000
1 UML-based Alias Control – Yin Liu, Ana Milanova
3 Polymorphic Constraint-Based Type Inference for Objects – Tiejun Wang, Scott F. Smith