|
3
|
Program Decomposition for Pointer-induced Aliasing Analysis
– Sean Zhang, Barbara G. Ryder, William Landi
- 1996
|
|
143
|
Fast and Accurate Flow-Insensitive Points-To Analysis
– Marc Shapiro, Susan Horwitz
- 1997
|
|
91
|
Putting Pointer Analysis to Work
– Rakesh Ghiya, Laurie J. Hendren
- 1998
|
|
16
|
Evaluating the Effectiveness of Pointer Alias Analyses
– Michael Hind, Anthony Pioli
- 1999
|
|
49
|
Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses
– Sean Zhang, Barbara G. Ryder, William Landi
- 1996
|
|
18
|
Experiments with Combined Analysis for Pointer Aliasing
– Sean Zhang, Barbara G. Ryder, William A. Landi
- 1998
|
|
|
Disjointness Analysis for Java-Like Languages
– James C. Jenista, Brian Demsky
- 2009
|
|
119
|
Context-Insensitive Alias Analysis Reconsidered
– Erik Ruf, Erik Ruf
- 1995
|
|
8
|
An Empirical Comparison of Interprocedural Pointer Alias Analyses
– Michael Hind, Anthony Pioli
- 1997
|
|
126
|
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
|
|
17
|
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
|
|
375
|
Efficient Context-Sensitive Pointer Analysis for C Programs
– Robert P. Wilson, Monica S. Lam
- 1995
|
|
3
|
Modular Concrete Type-inference for Statically Typed Object-oriented Programming Languages
– Ramkrishna Chatterjee, Barbara G. Ryder
- 1997
|
|
89
|
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
|
|
37
|
Is it a Tree, a DAG, or a Cyclic Graph?
– Rakash Ghiya, Laurie Hendren
- 1996
|
|
70
|
Connection Analysis: A Practical Interprocedural Heap Analysis for C
– Rakesh Ghiya, Laurie Hendren
- 1995
|
