Erik Ruf  Home/Search
Context Related
Links: ACM DBLP | microsoft.com/~ruf/file...tr9520300.ps microsoft.com/~ruf/file...tr9520600.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: microsoft.com/~ruf/preprint (more) From: microsoft.com/~ruf/preprint (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ing with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax + 1 (212) 869-0481, or permissions@acm.org. Context-Insensitive Alias Analysis Reconsidered Erik Ruf erikruf@microsoft.com Abstract Recent work on alias analysis in the presence of pointers has concentrated on context-sensitive interprocedural analyses, which treat multiple... (Update)
Cited by: More
Compaction Algorithm for Precise Modular.. - Kim, Nystrom, Barnes.. (Correct)
Integrating On-Demand Alias Analysis into - Schedulers For Advanced (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (Correct)
Active bibliography (related documents): More All
0.4: Slicing Pointers and Procedures (abstract) - Ernst (1995) (Correct)
0.4: Interprocedural Reaching Definitions in the Presence of.. - Pande, Landi, Ryder (1992) (Correct)
0.3: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing - Landi, Ryder (1992) (Correct)
Similar documents based on text: More All
0.2: Data Structure Analysis: An Efficient Context-Sensitive Heap.. - Lattner, Adve (Correct)
0.1: Optimizing Sparse Representations for Dataflow Analysis - Ruf (1995) (Correct)
0.1: Efficient Points-To Analysis For Whole-Program Analysis - Liang, Mary (1999) (Correct)
Related documents from co-citation: More All
72: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
64: Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
47: Points-to analysis in almost linear time - Steensgaard - 1996
BibTeX entry: (Update)
E. Ruf. Context-insensitive alias analysis reconsidered. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 13--22, June 1995. SIGPLAN Notices, 30(6). http://citeseer.ist.psu.edu/ruf95contextinsensitive.html More
@inproceedings{ ruf95contextinsensitive,
author = "Erik Ruf",
title = "Context-Insensitive Alias Analysis Reconsidered",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "13-22",
year = "1995",
url = "citeseer.ist.psu.edu/ruf95contextinsensitive.html" }
Citations (may not include all citations):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
180 Efficient contextsensitive pointer analysis for C programs - Wilson, Lam - 1995
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989
79 Efficient flowsensitive interprocedural computation of point.. - Choi, Burke et al. - 1993
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
63 A storeless model of aliasing and its abstractions using fin.. (context) - Deutsch - 1992
51 Value dependence graphs: Representation without taxation - Weise, Crew et al. - 1994 DBLP
51 Value dependence graphs: Representation without taxation - Weise, Crew et al. - 1994
48 Interprocedural Aliasing in the Presence of Pointers - Landi - 1992 ACM
45 Efficient detection of all pointer and array access errors - Austin, Breach et al. - 1994 ACM DBLP
41 Lifetime analysis of dynamically allocated objects (context) - Ruggieri, Murtagh - 1988 ACM DBLP
14 Retargetable high-level alias analysis (context) - Coutant - 1986 ACM DBLP
12 Ismm: Incremental software maintenance manager (context) - Ryder - 1989
11 Ambitious data flow analysis of procedural programs (context) - Cooper - 1989
10 The design of a data flow analyzer (context) - Chow, Rudmik - 1982 ACM DBLP
6 Contextsensitive interprocedural analysis in the presence of.. (context) - Emami, Ghiya et al. - 1994
5 Optimizing sparse representations for dataflow analysis - Ruf - 1995
1 Interprocedural reaching definitions in the presence of sing.. - Pande, Landi et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.microsoft.com/~ruf/preprint.htm):
Specializing Shaders - Guenter, Knoblock, Ruf (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