Michael Hind, Anthony Pioli  Home/Search
Context Related
Links: ACM DBLP | newpaltz.edu/~hind/papers/RC21510.ps ibm.com/people/h/hind/RC21510.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/p...RC21510abs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes an empirical comparison of the effectiveness of six context-insensitive pointer analysis algorithms that use varying degrees of flow-sensitivity. Four of the algorithms are flow-insensitive, one is flow-sensitive, and another is flow-insensitive, but uses precomputed flow-sensitive information. The effectiveness of each analysis is quantified in terms of compile-time efficiency and precision. Efficiency is reported by measuring CPU time and memory consumption of each... (Update)
Cited by: More
Hardware Compilation of Application-Specific.. - Venkataramani.. (2006) (Correct)
SOMA: A Tool for Synthesizing and Optimizing.. - Venkataramani.. (2005) (Correct)
HLS Support for Unconstrained Memory Accesses - Girish Venkataramani Tiberiu (Correct)
Similar documents (at the sentence level): More
35.6%: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
31.6%: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
15.2%: An Empirical Comparison of Interprocedural Pointer Alias Analyses - Hind, Pioli (1997) (Correct)
Active bibliography (related documents): More All
0.8: Which Pointer Analysis Should I Use? - Hind, Pioli (2000) (Correct)
0.5: Integrating Scalar Analyses And Optimizations In A Parallelizing.. - Zheng (2000) (Correct)
0.4: Traveling Through Dakota: Experiences with an Object-Oriented.. - Hind, al. (1999) (Correct)
Similar documents based on text: More All
0.6: Pointer Analysis: Haven't We Solved This Problem Yet? - Hind (2001) (Correct)
0.1: NP-Complete - April Volume (Correct)
Related documents from co-citation: More All
9: Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
4: MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communications.. - Lee - 1997
3: Memory access scheduling and binding considering energy minimization in multi-ba.. (context) - Lyuh, Kim - 2004
BibTeX entry: (Update)
Hind, M. and Pioli, A. 1999. Evaluating the effectiveness of pointer alias analyses. Tech. Rep. RC 21510, IBM T. J. Watson Research Center. Mar. http://citeseer.ist.psu.edu/hind99evaluating.html More
@article{ hind01evaluating,
author = "Michael Hind and Anthony Pioli",
title = "Evaluating the effectiveness of pointer alias analyses",
journal = "Science of Computer Programming",
volume = "39",
number = "1",
pages = "31--55",
year = "2001",
url = "citeseer.ist.psu.edu/hind99evaluating.html" }
Citations (may not include all citations):252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990 ACM DBLP
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994 ACM DBLP
232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1991
228 Points-to analysis in almost linear time - Steensgaard - 1996
207 Flow analysis and optimization of LISP-like structures (context) - Jones, Muchnick - 1981 ACM DBLP
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998
195 ACM Transactions on Programming Languages and Systems (context) - Ramalingam, of - 1994
180 Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
180 Efficient Context-Sensitive Pointer Analysis for C Programs - Wilson - 1997
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988 ACM DBLP
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
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989
99 A shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al. - 1996
72 Putting pointer analysis to work - Ghiya, Hendren - 1998
72 A semantic model of reference counting and its abstraction - Hudak - 1986
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993 ACM
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
62 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
61 Standard Performance Evaluation Corporation (context) - CPU - 1995
53 Automatic construction of sparse data flow evaluation graphs (context) - Choi, Cytron et al. - 1991
51 Connection analysis: A practical interprocedural heap analys.. - Ghiya, Hendren - 1996 DBLP
49 Type-based alias analysis - Diwan, McKinley et al. - 1998
41 Pointer-induced aliasing: A clarification (context) - Marlowe, Landi et al. - 1993 DBLP
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. - 1993 ACM DBLP
35 Personal communication (context) - Landi - 1997
34 Relevant context inference (context) - Chatterjee, Ryder et al. - 1999 ACM DBLP
27 Partitioning dataflow analyses using types (context) - Ruf - 1997 ACM DBLP
27 ACM Transactions on Programming Languages and Systems (context) - Hind, Burke et al.
22 Comparing flow and context sensitivity on the modifications-.. - Stocks, Ryder et al. - 1998
18 Experiments with combined analysis for pointer aliasing - Zhang, Ryder et al. - 1998 ACM DBLP
17 Data structures and network flow algorithms (context) - Tarjan - 1983
17 Assessing the effects of flow-sensitivity on pointer alias a.. - Hind, Pioli - 1998 ACM DBLP
13 Interprocedural pointer alias analysis - Burke, Carini et al. - 1997 ACM DBLP
13 Pointer-intensive benchmark suite (context) - Austin - 1995
11 Personal communication (context) - Ruf - 1997
10 Extension mechanisms in Montana (context) - Soroker, Karasick et al. - 1997
9 Conditional pointer aliasing and constant propagation - Pioli - 1999
9 Lifetime analysis of dynamically allocated objects (context) - Ruggieri, Murtagh - 1988
8 Spec announces new benchmark suites cint92 and cfp (context) - Balan, Bays - 1992
8 Codestore and incremental C (context) - Nackman - 1997
8 Combining interprocedural pointer analysis and conditional c.. - Pioli, Hind - 1999
7 An empirical comparison of interprocedural pointer alias ana.. - Hind, Pioli - 1997
1 Prolangs public distribution page (context) - Ryder - 1998
The graph only includes citing articles where the year of publication is known.
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