Michael Burke, Paul R. Carini, Jong-Deok Choi  Home/Search
Context Related
Links: ACM DBLP | ibm.com/people/h/hind/RC21055.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 Problem Downloading? From: ibm.com/people/h/hind/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article... (Update)
Context of citations to this paper: More
.... are called from each loop; for programs that use function pointers, call graph construction may proceed in tandem with alias analysis[BCCH97] For simplicity, we assume that this analysis succeeds in generating an unambiguous PCG. We define the Loop Tree of a procedure as a...
...Department of Computer Science University of Adelaide, SA 5005 andrew as .adelaide. edu. au Some research [BCC97, CBC93, CR97, CS95, EGH94, PR94, PR95, WWG00] has analyzed aliases statically for high performance computing such as parallelizing compiler as well as compiler...
Cited by: More
Nonuniform Alias Analysis of Recursive Data Structures and Arrays - Venet (2002) (Correct)
Pointer Analysis: Haven't We Solved This Problem Yet? - Hind (2001) (Correct)
Alias Analysis for Exceptions in Java - Woo, Woo, Attali, Caromel, al. (Correct)
Similar documents (at the sentence level):
18.7%: Interprocedural Pointer Alias Analysis - Hind, Burke, Carini, Choi (1999) (Correct)
5.0%: An Empirical Comparison of Interprocedural Pointer Alias Analyses - Hind, Pioli (1997) (Correct)
Active bibliography (related documents): More All
0.8: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
0.8: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
0.6: Evaluating The Effectiveness of Pointer Alias Analyses - Hind, Pioli (1999) (Correct)
Similar documents based on text: More All
0.4: InterProcedural Alias Analysis: Implementation and Empirical.. - Mayer, Wolfe (1993) (Correct)
0.3: Interprocedural Pointer Analysis for C - Lu (1996) (Correct)
0.3: Speculative Alias Analysis for Executable Code - Fernández, Espasa (Correct)
Related documents from co-citation: More All
2: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
2: Interprocedural may-alias analysis for pointers: Beyond k-limiting - Deutsch - 1994
2: A shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al. - 1996
BibTeX entry: (Update)
M. Burke, P. Carini, J. Choi, and M. Hind. Interprocedural Pointer Alias Analysis. Technical Report 21055, IBM Corp., December 1997. http://citeseer.ist.psu.edu/article/burke97interprocedural.html More
@misc{ burke97interprocedural,
author = "M. Burke and P. Carini and J. Choi and M. Hind",
title = "Interprocedural Pointer Alias Analysis",
text = "M. Burke, P. Carini, J. Choi, and M. Hind. Interprocedural Pointer Alias
Analysis. Technical Report 21055, IBM Corp., December 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/article/burke97interprocedural.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
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
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 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
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
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
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
92 A flexible approach to interprocedural data flow analysis an.. (context) - Jones, Muchnick - 1982 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
76 The program summary graph and flow-sensitive interprocedural.. (context) - Callahan - 1988
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
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
66 Interprocedural side-effect analysis in linear time (context) - Cooper, Kennedy - 1988 ACM DBLP
63 A storeless model of aliasing and its abstractions using fin.. (context) - Deutsch - 1992
62 The transitive reduction of a directed graph (context) - Aho, Garey et al. - 1972
56 The interprocedural analysis and automatic parallelisation o.. (context) - Harrison - 1989
54 Automatic decomposition of scientific programs for parallel .. (context) - Allen, Callahan et al. - 1987 ACM DBLP
51 Connection analysis: A practical interprocedural heap analys.. - Ghiya, Hendren - 1995 DBLP
49 Automatic construction of sparse data flow evaluation graphs (context) - Choi, Cytron et al. - 1991
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
35 Personal communication (context) - Landi - 1997
33 Static slicing in the presence of goto statements - Choi, Ferrante - 1994 ACM DBLP
26 Restructuring symbolic programs for concurrent execution on .. (context) - Larus - 1989 ACM
24 Constructing the procedure call multigraph (context) - Callahan, Carle et al. - 1990 ACM DBLP
22 Efficient computation of interprocedural definition -- use c.. (context) - Harrold, Soffa - 1994
21 Data flow analysis for procedural languages (context) - Rosen - 1979 ACM DBLP
20 The undecidability of aliasing (context) - Ramalingam - 1994 ACM DBLP
17 Precise flow-insensitive may-alias analysis is NP-Hard - Horwitz - 1997 ACM DBLP
17 Compile-time analysis of parallel programs that share memory (context) - Chow, Harrison - 1992
13 Pointer-intensive benchmark suite (context) - Austin - 1995
11 Personal communication (context) - Ruf - 1997
10 State space reduction in abstract interpretation of parallel.. (context) - Chow, Harrison - 1994
10 Complexity of bi-directional data flow analysis - Dhamdhere, Khedker - 1993 ACM
10 Constructing the call graph of a program (context) - Ryder - 1979 DBLP
9 On computing the transitive closure of a relation (context) - Eve, Kurki-Suonio - 1977 DBLP
8 Efficient accomodation of may-alias information in SSA form (context) - Cytron, Gershbein - 1993 DBLP
8 A logic-based approach to data flow analysis (context) - Sagiv, Francez et al. - 1990
8 Codestore and incremental C (context) - Nackman - 1997
8 Efficient call graph analysis - Hall, Kennedy - 1992 ACM DBLP
8 Effect analysis in higher-order languages (context) - Neirynck, Panangaden et al. - 1989 ACM
7 An empirical comparison of interprocedural pointer alias ana.. - Hind, Pioli - 1997
5 Personal communication (context) - Diwan - 1997
4 Precise and efficient integration of interprocedural alias i.. (context) - Burke, Choi - 1992 ACM DBLP
3 Is it a tree (context) - Ghiya, Hendren - 1996
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
1 Ambitious data flow analysis (context) - Cooper - 1989
1 An interval-based approach to exhaustive and incremental int.. (context) - Alias, Delta - 1987
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)
Interprocedural Pointer Alias Analysis - Hind, Burke, Carini, Choi (1999) (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