Rakesh Ghiya, et al.  Home/Search
Context Related
| sable.mcgill.ca/~hendren...lcpc95.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: sable.mcgill.ca/~hendr...goodpubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a practical heap analysis technique, connection analysis, that can be used to disambiguate heap accesses in C programs. The technique is designed for analysing programs that allocate many disjoint objects in the heap such as dynamically-allocated arrays in scientific programs. The method statically estimates connection matrices which encode the connection relationships between all heap-directed pointers at each program point. The results of the analysis can be used by... (Update)
Cited by: More
A Decidable Logic - For Describing Linked (Correct)
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard (Correct)
Connectivity-Based Garbage Collection - Hirzel (2004) (Correct)
Similar documents (at the sentence level):
77.7%: Connection Analysis: A Practical Interprocedural Heap Analysis .. - Ghiya, Hendren (1995) (Correct)
28.7%: Practical Techniques For Interprocedural Heap Analysis - Ghiya (1996) (Correct)
5.3%: Putting Pointer Analysis To Work - Ghiya (1998) (Correct)
Active bibliography (related documents): More All
0.3: Is it a Tree, a DAG, or a Cyclic Graph? - Ghiya, Hendren (1996) (Correct)
0.3: Research Portfolio (External) - Hendren (Correct)
0.3: Interprocedural Shape Analysis - Rinetzky (Correct)
Similar documents based on text: More All
0.6: Context-Sensitive Interprocedural Points-to Analysis in.. - Emami, Ghiya, Hendren (1994) (Correct)
0.2: Detecting Parallelism in C Programs with Recursive Data.. - Ghiya, Hendren, Zhu (1998) (Correct)
0.2: Putting Pointer Analysis to Work - Ghiya, Hendren (1998) (Correct)
Related documents from co-citation: More All
35: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
35: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
34: Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
BibTeX entry: (Update)
Rakesh Ghiya and Laurie J. Hendren. Connection analysis: A practical interprocedural heap analysis for C. In Lecture Notes in Computer Science, 1033, pages 515--533, August 1995. Proceedings from the 8th Workshop on Languages and Compilers for Parallel Computing. http://citeseer.ist.psu.edu/ghiya95connection.html More
@inproceedings{ ghiya95connection,
author = "Rakesh Ghiya and Laurie J. Hendren",
title = "Connection Analysis: A Practical Interprocedural Heap Analysis for C",
booktitle = "Languages and Compilers for Parallel Computing",
pages = "515-533",
year = "1995",
url = "citeseer.ist.psu.edu/ghiya95connection.html" }
Citations (may not include all citations):252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994
207 Flow Analysis and Optimization of LISP-like Structures (context) - Jones, Muchnick et al. - 1981
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990
131 Interprocedural may-alias analysis for pointers: Beyond k- l.. - Deutsch - 1994
101 Context-insensitive alias analysis reconsidered - Ruf - 1995
99 Dependence analysis for pointer variables (context) - Horwitz, Pfei et al. - 1989
63 A storeless model of aliasing and its abstractions using nit.. (context) - Deutsch - 1992
48 Interprocedural aliasing in the presence of pointers - Landi - 1992
33 The interprocedural analysis and automatic parallelization o.. (context) - Harrison - 1989
28 Ecient context-sensitive pointer analysis for C programs (context) - Wilson, Lam - 1995
25 A technique for analyzing pointer and structure references i.. (context) - Guarna - 1988
24 An analysis framework for the McCAT compiler (context) - Sridharan - 1992
19 A practical interprocedural alias analysis for an optimizing.. (context) - Emami - 1993
15 A exible approach to interprocedural data ow analysis and pr.. (context) - Jones, Muchnick - 1982
14 Detecting con icts between structure accesses (context) - Larus, Hilnger - 1988
12 Practical techniques for interprocedural heap analysis - Ghiya - 1995
10 Ecient ow-sensitive interprocedural computation of pointer-i.. (context) - Choi, Burke et al. - 1993
8 Compiling Lisp programs for parallel execution (context) - Larus - 1991
4 Taming control ow: A structured approach to eliminating goto.. (context) - Erosa, Hendren - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sable.mcgill.ca/~hendren/goodpubs.html): More
Putting Pointer Analysis to Work - Ghiya, Hendren (1998) (Correct)
Locality Analysis for Parallel C Programs - Zhu, Hendren (1997) (Correct)
Designing the McCAT Compiler Based on a Family of.. - Hendren, Donawa.. (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