|
8
|
An Empirical Comparison of Interprocedural Pointer Alias Analyses
– Michael Hind, Anthony Pioli
- 1997
|
|
89
|
Interprocedural Pointer Alias Analysis
– Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi
- 1999
|
|
16
|
Evaluating the Effectiveness of Pointer Alias Analyses
– Michael Hind, Anthony Pioli
- 1999
|
|
67
|
Pointer analysis: Haven’t we solved this problem yet?
– Michael Hind
- 2001
|
|
3
|
A language-theoretic approach to algorithms
– Deepak Goyal
- 2000
|
|
|
Integrating On-Demand Alias Analysis into
– Schedulers For Advanced, Roberto Costa
|
|
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
|
|
11
|
Combining Interprocedural Pointer Analysis and Conditional Constant Propagation
– Anthony Pioli, Anthony Pioli, Michael Hind, Michael Hind
- 1999
|
|
20
|
Efficient field-sensitive pointer analysis for C
– David J. Pearce, Paul H. J. Kelly, Chris Hankin
|
|
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
|
|
3
|
Program Decomposition for Pointer-induced Aliasing Analysis
– Sean Zhang, Barbara G. Ryder, William Landi
- 1996
|
|
1
|
A Hierarchical Approach to Context-Sensitive Interprocedural Alias Analysis
– Bixia Zheng, Pen-chung Yew
- 1999
|
|
49
|
Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses
– Sean Zhang, Barbara G. Ryder, William Landi
- 1996
|
|
281
|
Solving Shape-Analysis Problems in Languages with Destructive Updating
– Mooly Sagiv, Thomas Repst, Reinhard Wilhelm
- 1996
|
|
1
|
A Logic-Based Approach to Program Flow Analysis
– Mooly Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
- 1998
|
|
11
|
Data-Flow Frameworks for Worst-Case Execution Time Analysis
– Johann Blieberger
- 2000
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
|
91
|
Putting Pointer Analysis to Work
– Rakesh Ghiya, Laurie J. Hendren
- 1998
|
|
7
|
Understanding and Improving the Performance of Modern Programming Languages
– Amer Suleman Diwan
- 1997
|
