Patrick W. Sathyanathan  Home/Search
Context Related
| stanford.edu/paper...tsthesisfinal.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: stanford.edu/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Storage Graph . . . . . . . . . . . . . . . . . . . . . . . . . 124 6.4.2 Dataow Lattice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 6.5 Transfer Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 ix 6.5.1 Labeling execution instances . . . . . . . . . . . . . . . . . . . . . . 125 6.5.2 LTFs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126 6.6 Intraprocedural Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . .... (Update)
Similar documents based on text: More All
0.1: Precise Interprocedural Dataflow Analysis via Graph.. - Reps, Horwitz, Sagiv (1995) (Correct)
0.1: Interprocedural Dataflow Analysis in an Executable Optimizer - Goodwin (1997) (Correct)
0.1: Frameworks for Intra- and Interprocedural Dataflow Analysis - Chambers, Dean, Grove (1996) (Correct)
BibTeX entry: (Update)
Patrick W. Sathyanathan. Interprocedural Dataflow Analysis - Alias Analysis. PhD thesis, Stanford University, Computer Systems Laboratory, June 2001. http://citeseer.ist.psu.edu/sathyanathan01interprocedural.html More
@misc{ sathyanathan01interprocedural,
author = "P. Sathyanathan",
title = "Interprocedural Dataflow Analysis - Alias Analysis",
text = "Patrick W. Sathyanathan. Interprocedural Dataflow Analysis - Alias Analysis.
PhD thesis, Stanford University, Computer Systems Laboratory, June 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/sathyanathan01interprocedural.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1989
480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
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. - 1993
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 - 1979
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
129 Global value numbers and redundant computations (context) - Rosen, Wegman et al. - 1988
121 and machines (context) - Eilenberg, languages - 1974
99 a shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al. - 1996
82 A formal model of program dependences and its implications f.. (context) - Podgurski, Clark - 1990
70 Points-to analysis in almost linear time - Steensgaard - 1996
70 Points-to analysis in almost linear time - Steensgaard - 1996
66 Interprocedural constant propagation (context) - Callahan, Cooper et al. - 1986
64 On context-free languages (context) - Parikh - 1966
41 The cartesian product algorithm (context) - Agesen - 1995
36 Interprocedural may-alias analysis for pointers: Beyond klim.. (context) - Deutsch - 1994
28 Ecient context-sensitive pointer analysis for C programs (context) - Wilson, Lam - 1995
23 Construction of thinned gated single-assignment form - Havlak - 1993
23 Computation of interprocedural control dependence - Harrold, Rothermel et al. - 1998
23 Computation of interprocedural control dependence - Harrold, Rothermel et al. - 1998
20 Using dependence analysis to support the software maintenanc.. (context) - Loyall, Mathisen - 1993
18 A framework for generalized control dependence (context) - Bilardi, Pingali - 1996
16 Linear-time pointer-machine algorithms for least common ance.. - Buchsbaum, Kaplan et al. - 1998
15 Two approaches to interprocedural data- ow analyis (context) - Sharir, Pnueli - 1981
14 Immediate predominators in a directed graph (context) - Purdom, Moore - 1972
14 Fast algorithms for solving path problems (context) - Tarjan - 1981
13 An ecient method of computing static single assignment form (context) - Cytron, Ferrante et al. - 1989
12 Practical techniques for interprocedural heap analysis - Ghiya - 1995
12 Flow-sensitive interprocedural constant propagation - Carini, Hind - 1995
10 Ecient ow-sensitive interprocedural computation of pointer-i.. (context) - Choi, Burke et al. - 1993
9 A fast algorithm for nding dominators in a ow-graph (context) - Lengauer, Tarjan - 1979
8 Abstract storage structures (context) - Jonkers - 1981
6 Automatic construction of sparse data ow evaluation graphs (context) - Choi, Cytron et al. - 1991
5 A linear time algorithm for nding dominators in owgraphs and.. (context) - Harel - 1985
5 Information Processing Letters (context) - Gupta, post-dominators - 1995
3 Optimal control dependence and the roman chariots problem (context) - Pingali, Bilardi - 1997
3 Context sensitive interprocedural analysis in the presence o.. (context) - Sathyanathan, Lam - 1996
3 Monoids for rapid data ow analysis (context) - Rosen - 1980
2 Flow-sensitive type analysis for c (context) - Carini, Srinivasan et al. - 1995
2 Structural analysis: a new approach to ow analysis in optimi.. (context) - Sharir - 1980
1 Ecient computation of interprocedural control dependence (context) - Ezick, Bilardi et al. - 2000
1 An alias analysis for concurrent programs (context) - Colby - 1996
1 A simple algorithm for global data ow analysis (context) - Ullman, Hecht - 1975
Documents on the same site (http://suif.stanford.edu/papers/): More
An Overview of the SUIF Compiler for Scalable Parallel.. - Amarasinghe, Anderson, .. (1993) (Correct)
Efficient Context-Sensitive Pointer Analysis for C Programs - Wilson, Lam (1995) (Correct)
Interprocedural Parallelization Analysis: A Case Study - Hall, Murphy, Amarasinghe (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