Points-to Analysis in Almost Linear Time (1996)

by Bjarne Steensgaard
Citations:518 - 2 self

Active Bibliography

3 Program Decomposition for Pointer-induced Aliasing Analysis – Sean Zhang, Barbara G. Ryder, William Landi - 1996
149 Fast and Accurate Flow-Insensitive Points-To Analysis – Marc Shapiro, Susan Horwitz - 1997
93 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 1998
19 Evaluating the Effectiveness of Pointer Alias Analyses – Michael Hind, Anthony Pioli - 1999
50 Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses – Sean Zhang, Barbara G. Ryder, William Landi - 1996
19 Experiments with Combined Analysis for Pointer Aliasing – Sean Zhang, Barbara G. Ryder, William A. Landi - 1998
2 Disjointness Analysis for Java-Like Languages – James C. Jenista, Brian Demsky - 2009
126 Context-Insensitive Alias Analysis Reconsidered – Erik Ruf, Erik Ruf - 1995
9 An Empirical Comparison of Interprocedural Pointer Alias Analyses – Michael Hind, Anthony Pioli - 1997
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
18 Sparse Functional Stores for Imperative Programs – Bjarne Steensgaard - 1995
4 Integrating Scalar Analyses and Optimizations in a Parallelizing . . . – Bixia Zheng - 2000
Interprocedural Pointer Alias Analysis – Paul R. Carini, Michael Burke, Michael Burke, Paul Carini, Jong-deok Choi, Jong-deok Choi, Michael Hind, Michael Hind - 1997
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
4 Modular Concrete Type-inference for Statically Typed Object-oriented Programming Languages – Ramkrishna Chatterjee, Barbara G. Ryder - 1997
99 Interprocedural Pointer Alias Analysis – Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi - 1999
6 Complexity of Points-to Analysis of Java in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 2001
72 Connection Analysis: A Practical Interprocedural Heap Analysis for C – Rakesh Ghiya, Laurie Hendren - 1995
37 Is it a Tree, a DAG, or a Cyclic Graph? – Rakash Ghiya, Laurie Hendren - 1996