Active Bibliography

8 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina, Radu Rugina - 1990
131 A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing – Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher - 2001
93 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 1998
111 Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions – Radu Rugina, Martin Rinard - 2000
15 Pointer Analysis and its Applications for Java Programs – Alexandru D. Salcianu - 2001
82 Pointer analysis: Haven’t we solved this problem yet? – Michael Hind - 2001
27 Type Qualifiers: Lightweight Specifications to Improve Software Quality – Jeffrey Scott Foster - 2002
28 Stack allocation and synchronization optimizations for java using escape analysis – Jong-deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C, Samuel P. Midkiff - 2003
39 A Framework for Interprocedural Optimization in the Presence of Dynamic Class Loading – Vugranam C. Sreedhar , Michael Burke, Jong-Deok Choi - 2000
13 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
Scalable, Precise Context-Sensitive Top-Down Process for Modular Points-to Analysis – Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
12 Omen: A strategy for testing object-oriented software – Amie L. Souter - 2000
7 Points-to Analysis for Java Using Annotated Inclusion Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
30 Points-to and side-effect analyses for programs built with precompiled libraries – Atanas Rountev, Barbara G. Ryder - 2001
5 Compositional Pointer and Escape Analysis for Multithreaded Java Programs – Martin Rinard, John Whaley - 1999
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates – Arnab De, et al.
1 A novel analysis space for pointer analysis and its application for bug finding – Marcio Buss , Daniel Brand, Vugranam Sreedhar , Stephen A. Edwards - 2009