Deepak Goyal  Home/Search
Context Related
| nyu.edu/phd_students/d...improvement.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: nyu.edu/phd_students/deep...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Hind et al. ([5]) use a standard dataflow framework [15, 16] to formulate an intra-procedural may-alias computation. The intra-procedural aliasing information is computed by applying well-known iterative techniques to the Sparse Evaluation Graph (SEG) ([3]). The computation requires a transfer function for each node that causes a potential pointer assignment (relating the dataflow information owing into and out of the node), and a set of aliases holding at the entry node of the SEG. The... (Update)
Context of citations to this paper: More
.... These values do not correlate to program size for our benchmarks, but do correlate to the analysis rate of each program (SEG nodes sec) Goyal [1999] describes an incremental adaption of the transfer function (Section 3.2.2) which reduces the worst case time complexity at the...
.... erencing and dominated convergence, enabled us to derive a worst case O(N 3 ) time algorithm for computing the same may alias information [4]. It is our strong belief that the use of formal techniques did not hamper the process of algorithm development, but in fact gave...
Cited by: More
SETL for Internet Data Processing - Bacon (2000) (Correct)
A Language Theoretic Approach to Algorithm and Software Development - Goyal (1999) (Correct)
Interprocedural Pointer Alias Analysis - Hind, Burke, Carini, Choi (1999) (Correct)
Active bibliography (related documents): More All
0.5: Research Portfolio (External) - Hendren (Correct)
0.3: Use of Formal Methods and Program Transformations in Software.. - Deepak Goyal (Correct)
0.2: Program Analysis with Partial Transfer Functions - Murphy, Lam (Correct)
Similar documents based on text: More All
0.4: Efficient Flow-Sensitive Interprocedural Computation of.. - Choi, Burke, Carini (1993) (Correct)
0.3: Flow-Insensitive Interprocedural Alias Analysis in the Presence of .. - Burke (Correct)
0.3: Efficient Flow-Insensitive Alias Analysis in the.. - Burke, Carini, Choi.. (Correct)
Related documents from co-citation: More All
2: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
2: Assessing the effects of the flow-sensitivity on pointer alias analyses - Hind, Pioli - 1998
2: Programming with Sets --- An Introduction to SETL (context) - Schwartz, Dewar et al. - 1986
BibTeX entry: (Update)
Goyal, D. 1999. An improved intra-procedural may-alias analysis algorithm. Tech. Rep. TR1999777, New York University. Feb. http://citeseer.ist.psu.edu/goyal99improved.html More
@techreport{ goyal99improved,
author = "Deepak Goyal",
title = "An Improved Intra-procedural May-alias Analysis Algorithm",
number = "TR1999-777",
month = "9,",
year = "1999",
url = "citeseer.ist.psu.edu/goyal99improved.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1988
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
195 ACM Transactions on Programming Languages and Systems (context) - Ramalingam, of - 1994
99 Dependence analysis for pointer variables (context) - Horwitz, Pfei et al. - 1989
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
51 Fast algorithms for solving path problems (context) - Tarjan - 1981
33 Real-time simulation of a set machine on a ram - Paige - 1989
14 Detecting con icts between structure accesses (context) - Larus, Hilnger - 1988
11 A unied approach to global program optimization (context) - Kildall - 1973
8 Program derivation with veried transformations { a case stud.. (context) - Keller, Paige - 1995
6 Automatic construction of sparse data ow evaluation graphs (context) - Choi, Burke et al. - 1991
3 The formal reconstruction and speedup of the linear time fra.. - Goyal, Paige - 1997
2 Data ow analysis for procedural languages (context) - Rosen - 1979
2 on Programming Languages and Systems (context) - Paige, Koenig et al. - 1982
2 Pointer induced aliasing: A clarication (context) - Marlowe, Landi et al. - 1993
Documents on the same site (http://cs1.cs.nyu.edu/phd_students/deepak/index.html): More
Use of Formal Methods and Program Transformations in Software.. - Deepak Goyal (Correct)
A New Solution to the Hidden Copy Problem - Deepak Goyal (1998) (Correct)
A Language Theoretic Approach to Algorithm and Software Development - Goyal (1999) (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