Michael Hind  Home/Search
Context Related
Links: DBLP | ibm.com/people/h/hind/paste01.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: cs.kent.ac.uk/people/sta...gcbibH (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: During the past twenty-one years, over seventy-five papers and nine Ph.D. theses have been published on pointer analysis. Given the tomes of work on this topic one may wonder, "Haven't we solved this problem yet?" With input from many researchers in the field, this paper describes issues related to pointer analysis and remaining open problems. (Update)
Cited by: More
Efficient Field-Sensitive Pointer Analysis for C - David Pearce Imperial (Correct)
Effects of Context on Program Slicing - Krinke (2006) (Correct)
Characterising, Explaining, and Exploiting the.. - Binkley, Harman, Krinke (2006) (Correct)
Active bibliography (related documents): More All
0.7: Interprocedural Pointer Alias Analysis - Hind, Burke, Carini, Choi (1999) (Correct)
0.7: Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept (Correct)
0.6: Modular Interprocedural Pointer Analysis Using Access Paths.. - Cheng, Hwu (2000) (Correct)
Similar documents based on text: More All
0.9: Which Pointer Analysis Should I Use? - Hind, Pioli (2000) (Correct)
0.6: Evaluating The Effectiveness of Pointer Alias Analyses - Hind, Pioli (1999) (Correct)
0.4: Combining Interprocedural Pointer Analysis and Conditional.. - Pioli, Hind (1999) (Correct)
Related documents from co-citation: More All
10: Points-to analysis in almost linear time - Steensgaard - 1996
10: Program Analysis and Specialization for the C Programming Language (context) - Andersen - 1994
9: Unification-based pointer analysis with directional assignments - Das - 2000
BibTeX entry: (Update)
M. Hind. Pointer analysis: haven't we solved this problem yet? In ACM SIGPLAN --- SIGSOFT workshop on on Program analysis for software tools and engineering, pages 54--61. ACM Press, 2001. http://citeseer.ist.psu.edu/hind01pointer.html More
@inproceedings{ hind01pointer,
author = "Michael Hind",
title = "Pointer Analysis: Haven't We Solved This Problem Yet?",
booktitle = "2001 {ACM} {SIGPLAN}-{SIGSOFT} Workshop on Program Analysis for Software Tools and Engineering ({PASTE}'01)",
address = "Snowbird, UT",
year = "2001",
url = "citeseer.ist.psu.edu/hind01pointer.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 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
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
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
126 Type inference with polymorphic recursion - Henglein - 1993 ACM DBLP
110 BI as an assertion language for mutable data structures - Ishtiaq, O'Hearn - 2001 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, Pfei et al. - 1989 ACM DBLP
79 Abstractions for recursive pointer data structures: Improvin.. - Hendren, Hummel et al. - 1992 DBLP
72 Putting pointer analysis to work - Ghiya, Hendren - 1998
72 A semantic model of reference counting and its abstraction - Hudak - 1986
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
57 Fast interprocedural class analysis - DeFouw, Grove et al. - 1998
54 Partial online cycle elimination in inclusion constraint gra.. - ahndrich, Foster et al. - 1998 ACM DBLP
52 Relevant context inference - Chatterjee, Ryder et al. - 1999 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
48 Interprocedural Aliasing in the Presence of Pointers - Landi - 1992 ACM
43 Ultra-fast aliasing analysis using CLA: A million lines of C.. - Heintze, Tardieu
39 Modular interprocedural pointer analysis using access paths:.. - Cheng, Hwu - 2000
27 ACM Transactions on Programming Languages and Systems (context) - Hind, Burke et al. - 1999
24 Which pointer analysis should I use - Hind, Pioli - 2000
23 Flow-insensitive interprocedural alias analysis in the prese.. - Burke, Carini et al. - 1994 ACM DBLP
22 Checking cleanness in linked lists - Dor, Rodeh et al. - 2000 ACM DBLP
20 Estimating the impact of scalable pointer analysis on optimi.. - Das, Liblit et al. - 2001
16 Abstract description of pointer data structures: An approach.. (context) - Hummel, Hendren et al. - 1992 DBLP
15 Using static single assignment form to improve ow-insensitiv.. - Hasti, Horwitz - 1998
14 Detecting con icts between structure accesses (context) - Larus, nger - 1988
14 An extended form of must alias analysis for dynamic allocati.. (context) - Altucher, Landi - 1995
13 the importance of points-to analysis and other memory disamb.. (context) - Ghiya, Laverty et al.
13 Register promotion in C programs - Cooper, Lu - 1997 ACM DBLP
11 Demand-driven pointer analysis - Heintze, Tardieu
10 Ecient ow-sensitive interprocedural computation of pointer-i.. (context) - Choi, Burke et al. - 1993
9 Uni cation-based pointer analysis with directional assignmen.. (context) - Das - 2000
8 Pointer-induced aliasing: A problem classi cation (context) - Landi, Ryder - 1991
4 Interprocedural pointer alias analysis - Burke, Carini et al. - 1997
4 Scalable context-sensitive ow analysis using instantiation c.. (context) - ahndrich, Rehof et al. - 2000
4 ectiveness of pointer alias analyses (context) - Hind, Pioli - 2001
4 ects of ow-sensitivity on pointer alias analyses (context) - Hind, Pioli - 1998
3 Polymorphic versus monomorphic ow-insensitive points-to anal.. (context) - Foster, ahndrich et al. - 2000
3 Uni ed analysis of array and object references in strongly t.. (context) - Fink, Knobe et al. - 2000
2 Precise ow-insensitive may-alias analysis is NP-Hard (context) - Horwitz - 1997
2 Interprocedural aliasing in the presence of function pointer.. (context) - Ghiya - 1992
1 ect analysis with pointer aliasing (context) - Landi, Ryder et al. - 1993
1 ective whole-program analysis in the pressence of pointers (context) - Atkinson, Griswold - 1998
1 Flow-sensitive interprocedural type analysis for C (context) - Carini, Hind et al. - 2026
1 comhomer crayparkcxrestrict c (context) - Draft, reality et al. - 1999
1 Modular Data- ow Analysis of Statically Typed Object-Oriente.. (context) - Chatterjee - 1999
http://www.cs.berkeley/Research/Aiken/bane.html
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