Michael Hind, Anthony Pioli  Home/Search
Context Related
Links: ACM DBLP | newpaltz.edu/~hind/papers/sas98.ps ibm.com/people/h/hind/sas98.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 four contextinsensitive pointer alias analysis algorithms that use varying degrees of flow-sensitivity: a flow-insensitive algorithm that tracks variables whose addresses were taken and stored; a flow-insensitive algorithm that computes a solution for each function; a variant of this algorithm that uses precomputed kill information; and a flow-sensitive algorithm. In addition to contrasting the precision and efficiency of these analyses, we... (Update)
Context of citations to this paper: More
...order can be defined by the removal of back edges [Kam and Ullman 1976] ACM Transactions on Programming Languages, Vol. 21, No. 4. 8 Delta Michael Hind et al. PCG 0 INTER 0 PCG 1 INTER 1 S 6 S 9 S 10 S 13 INTER INTER PCG i S 6 S 9 PCG i 1 S 10 S 13 i 1 Fig. 4....
...functions are not considered. It 2 This particular enhancement never improved precision over the Burke et al. s analysis studied in this paper [13]. Thus, the enhanced version of Burke et al. s analysis that uses precomputed kill information is not included in this study. T p,...
Cited by: More
A Security Architecture for Survivability Mechanisms - Wang (2000) (Correct)
Dynamically Discovering Program Invariants Involving.. - Ernst, Griswold.. (2000) (Correct)
Traveling Through Dakota: Experiences with an Object-Oriented.. - Hind, al. (1999) (Correct)
Similar documents (at the sentence level): More
35.9%: An Empirical Comparison of Interprocedural Pointer Alias Analyses - Hind, Pioli (1997) (Correct)
30.6%: Evaluating The Effectiveness of Pointer Alias Analyses - Hind, Pioli (1999) (Correct)
16.4%: Conditional Pointer Aliasing and Constant Propagation - Pioli (1999) (Correct)
Active bibliography (related documents): More All
1.9: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
0.6: Which Pointer Analysis Should I Use? - Hind, Pioli (2000) (Correct)
0.5: Integrating Scalar Analyses And Optimizations In A Parallelizing.. - Zheng (2000) (Correct)
Similar documents based on text: More All
0.3: Efficient Flow-Insensitive Alias Analysis in the.. - Burke, Carini, Choi.. (Correct)
0.2: NP-Complete - April Volume (Correct)
0.2: The PCG: An Empirical Study - Stankovic, Kranzlmüller, Zhang (2001) (Correct)
Related documents from co-citation: More All
24: Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
15: A safe approximate algorithm for interprocedural pointer aliasing - Landi, Ryder - 1992
14: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
BibTeX entry: (Update)
Michael Hind and Anthony Pioli. Assessing the effects of the flow-sensitivity on pointer alias analyses (extended version). Technical Report 98-104, SUNY at New Paltz, June 1998. http://citeseer.ist.psu.edu/article/hind98assessing.html More
@inproceedings{ hind98assessing,
author = "Michael Hind and Anthony Pioli",
title = "Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses",
booktitle = "Static Analysis Symposium",
pages = "57-81",
year = "1998",
url = "citeseer.ist.psu.edu/article/hind98assessing.html" }
Citations (may not include all citations):415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991
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
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. - 1998
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 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 approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992 ACM DBLP
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990 ACM DBLP
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 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 ACM DBLP
93 Global data flow analysis and iterative algorithms (context) - Kam, Ullman - 1976 ACM DBLP
72 Putting pointer analysis to work - Ghiya, Hendren - 1998
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 ACM DBLP
51 Connection analysis: A practical interprocedural heap analys.. - Ghiya, Hendren - 1995
49 Type-based alias analysis - Diwan, McKinley et al. - 1998 ACM DBLP
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
27 Partitioning dataflow analyses using types (context) - Ruf - 1997 ACM DBLP
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 Assessing the effects of the flow-sensitivity on pointer ali.. - Hind, Pioli - 1998
17 Precise flow-insensitive may-alias analysis is NP-Hard - Horwitz - 1997
15 Using static single assignment form to improve flow-insensit.. - Hasti, Horwitz - 1998
13 Interprocedural pointer alias analysis - Burke, Carini et al. - 1997
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 ACM
9 Conditional pointer aliasing and constant propagation - Pioli - 1998
8 Codestore and incremental C (context) - Nackman - 1997
8 On sparse evaluation representations - Ramalingam - 1997 ACM DBLP
8 Spec announces new benchmark suites cint92 and cfp (context) - Balan, Bays - 1992
7 An empirical comparison of interprocedural pointer alias ana.. - Hind, Pioli - 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)
An Empirical Comparison of Interprocedural Pointer Alias Analyses - Hind, Pioli (1997) (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