Michael Hind, Michael Burke, Paul Carini, Jong-Deok Choi  Home/Search
Context Related
Links: ACM DBLP | ibm.com/people/h/h...plas99preprint.ps ucsb.edu/~ckrintz/pa...hindalias.ps.gz 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: ibm.com/people/h/hind/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article, we describe approximation methods for computing interprocedural aliases for a program written in a language that includes pointers, reference parameters, and recursion. We present the following contributions: (Update)
Context of citations to this paper: More
.... with a static method is difficult in general, although the control dependence relations are fairly easily collected statically [6, 7, 10]. Once we execute a program with an input data set, we are able to collect actual dependence relations between statements, although...
...function pointer. Because of the importance of such information, a variety of pointer analyses have been developed [11, 12, 9, 5, 1, 22, 20, 25, 18, 13, 7, 4, 6, 3]. These analyses provide different tradeoffs between cost and precision. For example, flow and context...
Cited by: More
Precise Call Graphs for C Programs with Function Pointers .. - Department Of Computer (Correct)
Pointer Analysis for Monotonic Container Traversals - Albert Cohen Peng (2001) (Correct)
Precise and Efficient Call Graph Construction for C.. - Milanova, Rountev, Ryder (Correct)
Similar documents (at the sentence level): More
26.3%: Interprocedural Pointer Alias Analysis - Burke, Carini, Choi (1997) (Correct)
7.1%: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
6.8%: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
Active bibliography (related documents): More All
1.0: Conditional Pointer Aliasing and Constant Propagation - Pioli (1999) (Correct)
0.9: Which Pointer Analysis Should I Use? - Hind, Pioli (2000) (Correct)
0.8: An Empirical Comparison of Interprocedural Pointer Alias Analyses - Hind, Pioli (1997) (Correct)
Similar documents based on text: More All
0.5: Efficient Flow-Insensitive Alias Analysis in the.. - Burke, Carini, Choi.. (Correct)
0.4: Flow-Insensitive Interprocedural Alias Analysis in the Presence of .. - Burke (Correct)
0.2: Efficient Flow-Sensitive Interprocedural Computation of.. - Choi, Burke, Carini (1993) (Correct)
Related documents from co-citation: More All
6: Modular Interprocedural Pointer Analysis Using Access Paths: Design - Cheng, Hwu - 2000
6: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
5: A safe approximation algorithm for interprocedural pointer aliasing (context) - Landi, Ryder - 1992
BibTeX entry: (Update)
M. Hind, M. Burke, P. Carini, and J. Choi. Interprocedural pointer alias analysis. ACM Trans. Programming Languages and Systems, 21(4):848--894, May 1999. http://citeseer.ist.psu.edu/hind99interprocedural.html More
@article{ hind99interprocedural,
author = "Michael Hind and Michael Burke and Paul Carini and Jong-Deok Choi",
title = "Interprocedural pointer alias analysis",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "21",
number = "4",
pages = "848--894",
year = "1999",
url = "citeseer.ist.psu.edu/hind99interprocedural.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991 ACM DBLP
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 Program analysis and specialization for the c programming la.. (context) - Andersen - 1994
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. - 1998 ACM DBLP
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996 ACM DBLP
180 Efficient context-sensitive pointer analysis for C programs - Wilson - 1997 ACM DBLP
180 Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995 ACM DBLP
175 A safe approximatealgorithm for interprocedural pointer alia.. - Landi, Ryder - 1992
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990 ACM DBLP
146 Parallelizing programs with recursive data structures (context) - Hendren - 1990 ACM DBLP
144 Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988 ACM DBLP
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
127 Control flow analysis in Scheme (context) - Shivers - 1988 ACM
114 Fast and accurate flow-insensitive point-to analysis - Shapiro, Horwitz
101 Context-insensitive alias analysis reconsidered - Ruf - 1995 ACM DBLP
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989 ACM DBLP
99 A shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al.
97 Pointer-induced aliasing: A problem classification (context) - Landi, Ryder - 1991 DBLP
93 Global data flow analysis and iterative algorithms (context) - Kam, Ullman - 1976 ACM DBLP
91 An efficient way to find the side effects of procedure calls.. (context) - Banning - 1979 ACM
79 Efficient flow-sensitive interprocedural computation of poin.. - Choi, Burke et al. - 1993 ACM DBLP
79 Interprocedural dependence analysis and parallelization (context) - Burke, Cytron - 1986 ACM DBLP
74 Replacing function parameters by global variables (context) - Sestoft - 1989 ACM DBLP
72 A semantic model of reference counting and its abstraction - Hudak - 1986
70 An interval-based approach to exhaustive and incremental int.. (context) - Burke - 1990 ACM DBLP
70 An interval-based approach to exhaustive and incremental int.. (context) - Burke - 1987
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993 ACM
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
66 Interprocedural side-effect analysis in linear time (context) - Cooper, Kennedy - 1988 ACM DBLP
62 The transitive reduction of a directed graph (context) - Aho, Garey et al. - 1972 DBLP
56 The interprocedural analysis and automatic parallelisation o.. (context) - Harrison - 1989
52 Relevant context inference - Chatterjee, Ryder et al. - 1999 ACM DBLP
52 Relevant context inference - Chatterjee, Ryder et al. - 1998 ACM DBLP
51 Connection analysis: A practical interprocedural heap analys.. - Ghiya, Hendren DBLP
49 Automatic construction of sparse data flow evaluation graphs (context) - Choi, Cytron et al. - 1991 ACM DBLP
49 Type-based alias analysis - Diwan, McKinley et al. - 1998 ACM DBLP
41 Lifetime analysis of dynamically allocated objects (context) - Ruggieri, Murtagh - 1988 ACM DBLP
41 Pointerinduced aliasing: A clarification (context) - Marlowe, Landi et al. - 1993
39 A fast and usually linear algorithm for global flow analysis (context) - Graham, Wegman - 1976 ACM DBLP
39 The effects of the precision of pointer analysis - Shapiro, Horwitz
38 Program decomposition for pointer aliasing: A step toward pr.. - Zhang, Ryder et al. - 1996 DBLP
35 Personal communication (context) - Landi - 1997
31 A linear time algorithm for placing OE-nodes (context) - Sreedhar, Gao - 1995
27 Partitioning dataflow analyses using types (context) - Ruf ACM DBLP
26 Restructuring symbolic programs for concurrent execution on .. (context) - Larus - 1989 ACM
22 Comparing flow and context sensitivity on the modifications-.. - Stocks, Ryder et al. - 1998
21 Data flow analysis for procedural languages (context) - Rosen - 1979 ACM DBLP
20 The undecidability of aliasing (context) - Ramalingam - 1994 ACM DBLP
18 Experiments with combined analysis for pointer aliasing - Zhang, Ryder et al. - 1998 ACM DBLP
17 Precise flow-insensitive may-alias analysis is NP-Hard - Horwitz - 1997 ACM DBLP
17 Assessing the effects of flow-sensitivity on pointer alias a.. - Hind, Pioli
17 Assessing the effects of flow-sensitivity on pointer alias a.. - Hind, Pioli ACM DBLP
15 Using static single assignment form to improve flow-insensit.. - Hasti, Horwitz - 1998
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
10 Constructing the call graph of a program (context) - Ryder - 1979 DBLP
10 Complexity of bi-directional data flow analysis - Dhamdhere, Khedker - 1993 ACM
10 State space reduction in abstract interpretation of parallel.. (context) - Chow, Harrison - 1994
10 Extension mechanisms in Montana (context) - Soroker, Karasick et al. - 1997 ACM
9 Conditional pointer aliasing and constant propagation - Pioli - 1999
8 Effect analysis in higher-order languages (context) - Neirynck, Panangaden et al. - 1989 ACM
8 Evaluating the effectiveness of pointer alias analyses - Hind, Pioli - 1999 ACM DBLP
4 A schema for interprocedural modification side-effect analys.. - Landi, Ryder et al. - 1998 ACM DBLP
3 An improved intra-procedural may-alias analysis algorithm - Goyal - 1999 ACM
2 Spec announces new benchmark suites cint92 and cfp92 (context) - Balan, Bays - 1992
2 Efficiently computing phi-nodes on-the-fly (context) - Cytron, Ferrante - 1995
2 Interprocedural aliasing in the presence of function pointer.. (context) - Ghiya - 1992
1 Constructing the procedure call multigraph (context) - on, Languages et al. - 1990 ACM DBLP
1 Interprocedural Pointer Alias Analysis \Delta 45 Hall (context) - on, Languages et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.ibm.com/people/h/hind/papers.html): More
The Jalapeño Dynamic Optimizing Compiler for Java - Burke, Choi, Fink.. (1999) (Correct)
Optimizing Java Programs in the Presence of Exceptions - Gupta, Choi, Hind (2000) (Correct)
Optimizing Java Programs in the Presence of Exceptions - Gupta, Choi, Hind (2000) (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