Michael Hind, Anthony Pioli  Home/Search
Context Related
| ibm.com/people/h/hind/RC21251.ps newpaltz.edu/~hind/papers/RC21251.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: ibm.com/people/h/hind/ (more) From: newpaltz.edu/~hind/papers/ (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 addresseswere taken and stored; a flowinsensitive 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
70.0%: Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
39.1%: An Empirical Comparison of Interprocedural Pointer Alias Analyses - Hind, Pioli (1997) (Correct)
28.3%: Evaluating The Effectiveness of Pointer Alias Analyses - Hind, Pioli (1999) (Correct)
Active bibliography (related documents): More All
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)
0.4: A Hierarchical Approach to Context-Sensitive Interprocedural.. - Bixia Zheng (1999) (Correct)
Similar documents based on text: More All
0.3: Pointer Analysis: Haven't We Solved This Problem Yet? - Hind (2001) (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
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/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/hind98assessing.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
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
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 ACM DBLP
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998 ACM DBLP
195 ACM Transactions on Programming Languages and Systems (context) - Ramalingam, of - 1994
180 Efficient contextsensitive pointer analysis for C programs - Wilson, Lam - 1995
180 Efficient Context-Sensitive Pointer Analysis for C Programs - Wilson - 1997 ACM DBLP
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 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 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 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 ACM DBLP
93 Global data flow analysis and iterative algorithms (context) - Kam, Ullman - 1976 ACM DBLP
90 Vortex: An optimizing compiler for object-oriented languages - Dean, DeFouw et al. - 1996 DBLP
72 Putting pointer analysis to work - Ghiya, Hendren - 1998 ACM DBLP
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 - 1996 DBLP
49 Type-based alias analysis - Diwan, McKinley et al. - 1998 ACM 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. - 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
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 - 1998 ACM DBLP
15 Using static single assignment form to improve flow-insensit.. - Hasti, Horwitz - 1998 ACM DBLP
13 Interprocedural pointer alias analysis - Burke, Carini et al. - 1997 ACM DBLP
13 Frameworks for intra- and interprocedural dataflow analysis - Chambers, Dean et al. - 1996
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 Spec announces new benchmark suites cint92 and cfp (context) - Balan, Bays - 1992
8 Codestore and incremental C (context) - Nackman - 1997
8 On sparse evaluation representations - Ramalingam - 1997 ACM DBLP
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.research.ibm.com/people/h/hind/): More
Flow-Insensitive Interprocedural Alias Analysis in the Presence of .. - Burke (Correct)
Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
Flow-Sensitive Interprocedural Constant Propagation - Carini, Hind (1995) (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