Michael Hind, Anthony Pioli  Home/Search
Context Related
| newpaltz.edu/~hind/papers/RC21058.ps ibm.com/people/h/hind/RC21058.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: newpaltz.edu/~hind/papers/ (more) From: ibm.com/people/h/hind/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes an empirical comparison of three pointer alias analysis algorithms: flow-sensitive, flow-insensitive, and flow-insensitive with precomputed kill information. In addition to contrasting the precision and efficiency of these analyses, it describes implementation techniques and quantifies their analysis-time speed-up. Lastly, it illustrates the object-oriented approach used in the design of the system, which provides a natural example of multiple inheritance. 1 Introduction... (Update)
Context of citations to this paper: More
.... In [BCCH94] Burke et al. develop an approach that involves using pre computed kill information, although an empirical study by Hind and Pioli [HP97] does not show it to be more precise in practice than a flowinsensitive analysis. Shapiro and Horwitz [SH97] give an algorithm that...
.... Most of the recent published research works on alias analysis have focused on interprocedural techniques [16, 17, 4, 7, 6, 24, 25, 13, 23, 14], because we may obtain very imprecise results when limiting the analysis within each subroutine. These analysis techniques...
Cited by: More
Interprocedural Pointer Alias Analysis - Burke, Carini, Choi (1997) (Correct)
Integrating Scalar Analyses And Optimizations In A Parallelizing.. - Zheng (2000) (Correct)
Evaluating The Effectiveness of Pointer Alias Analyses - Hind, Pioli (1999) (Correct)
Similar documents (at the sentence level): More
48.7%: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
36.7%: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
11.1%: Conditional Pointer Aliasing and Constant Propagation - Pioli (1999) (Correct)
Active bibliography (related documents): More All
0.5: Which Pointer Analysis Should I Use? - Hind, Pioli (2000) (Correct)
0.2: Traveling Through Dakota: Experiences with an Object-Oriented.. - Hind, al. (1999) (Correct)
0.2: A Schema for Interprocedural Modification.. - Ryder, Landi.. (2001) (Correct)
Similar documents based on text: More All
0.2: NP-Complete - April Volume (Correct)
0.2: Flow-Sensitive Interprocedural Constant Propagation - Carini, Hind (1995) (Correct)
0.2: Flow-Sensitive Type Analysis for C++ - Carini, Srinivasan (1995) (Correct)
Related documents from co-citation: More All
10: Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
8: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
6: Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
BibTeX entry: (Update)
Michael Hind and Anthony Pioli. An empirical comparison of interprocedural pointer alias analyses. Research Report RC 21058, IBM T. J. Watson Research Center, December 1997. http://citeseer.ist.psu.edu/hind97empirical.html More
@misc{ hind97empirical,
author = "M. Hind and A. Pioli",
title = "An empirical comparison of interprocedural pointer alias analyses",
text = "Michael Hind and Anthony Pioli. An empirical comparison of interprocedural
pointer alias analyses. Research Report RC 21058, IBM T. J. Watson Research
Center, December 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/hind97empirical.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
554 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994 ACM DBLP
228 Points-to analysis in almost linear time - Steensgaard - 1996 ACM DBLP
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996
195 ACM Transactions on Programming Languages and Systems (context) - Ramalingam, of - 1994
180 Efficient contextsensitive pointer analysis for C programs - Wilson, Lam - 1995
175 A safe approximate algorithm for interprocedural pointer ali.. - andBarbara - 1992 ACM DBLP
173 Suif: An infrastructure for research on parallelizing and op.. - Wilson, French et al. - 1994 DBLP
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990 ACM DBLP
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
114 Fast and accurate flow-insensitive point-to analysis - Shapiro, Horwitz - 1997
101 Context-insensitive alias analysis reconsidered - Ruf - 1995 ACM DBLP
99 A shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al. - 1996
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989
90 Vortex: An optimizing compiler for object-oriented languages - Dean, DeFouw et al. - 1996
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
61 Standard Performance Evaluation Corporation (context) - CPU - 1995
53 Automatic construction of sparse data flow evaluation graphs (context) - Choi, Cytron et al. - 1991 ACM DBLP
51 Connection analysis: A practical interprocedural heap analys.. - Ghiya, Hendren - 1995 DBLP
41 Pointerinduced aliasing: A clarification (context) - Marlowe, Landi et al. - 1993
39 The effects of the precision of pointer analysis - Shapiro, Horwitz - 1997
38 Program decomposition for pointer aliasing: A step toward pr.. - Zhang, Ryder et al. - 1996 DBLP
36 Efficient flow-sensitive interprocedural computation of poin.. (context) - Choi, Burke et al. ACM DBLP
35 Personal communication (context) - Landi - 1997
22 Comparing flow and context sensitivity on the modifications-.. - Stocks, Ryder et al. - 1997
17 Precise flow-insensitive may-alias analysis is NP-Hard - Horwitz - 1997 ACM DBLP
13 Frameworks for intra- and interprocedural dataflow analysis - Chambers, Dean et al. - 1996
13 Pointer-intensive benchmark suite (context) - Austin - 1995
13 Interprocedural pointer alias analysis - Burke, Carini et al. - 1997
11 Personal communication (context) - Ruf - 1997
10 Extension mechanisms in Montana (context) - Soroker, Karasick et al. - 1997 ACM
9 Conditional pointer aliasing and constant propagation - Pioli - 1998
8 Spec announces new benchmark suites cint92 and cfp (context) - Balan, Bays - 1992
8 On sparse evaluation representations - Ramalingam - 1997
8 Codestore and incremental C (context) - Nackman - 1997
5 Personal communication (context) - Diwan - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.mcs.newpaltz.edu/~hind/papers/): More
The Jalapeño Dynamic Optimizing Compiler for Java - Burke, Choi, Fink.. (1999) (Correct)
Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
Loop Distribution with Multiple Exits - Hsieh, Hind, Cytron (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC