Laurie Hendren, Joseph Hummel, Alexandru Nicolau  Home/Search
Context Related
| udel.edu/pub/doc/acaps/p...PLDI92.ps.gz acaps.cs.mcgill.ca/pub/d...PLDI92.ps.gz sable.mcgill.ca/~hendren...PLDI92.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: udel.edu/capslpapers.shtml (more) From: acaps.cs.mcgill.ca/~hendre...pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Even though impressive progress has been made... (Update)
Cited by: More
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas (Correct)
Simulating Reachability using First-Order Logic - With Applications To (Correct)
A Decidable Logic - For Describing Linked (Correct)
Active bibliography (related documents): More All
0.8: A General Data Dependence Test for Dynamic, Pointer-Based.. - Hummel, Hendren (1994) (Correct)
0.8: A Language for Conveying the Aliasing Properties of.. - Hummel, Hendren, Nicolau (1994) (Correct)
0.4: Automatic Program Parallelization - Banerjee, Eigenmann, Nicolau (1993) (Correct)
Similar documents based on text: More All
0.3: Annotating the Java Bytecodes in Support of Optimization - Joseph Hummel Ana (1997) (Correct)
0.2: EVolve: An Extensible Visualization Environment - Wang, Driesen, Hendren (2001) (Correct)
0.1: B SIMPLE Analyzer Generator Example - Typedef Struct (Correct)
Related documents from co-citation: More All
54: Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
49: Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
33: Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981
BibTeX entry: (Update)
L. Hendren, J. Hummel, and A. Nicolau. Abstractions for recursive pointer data structures: Improving the analysis and transformation of imperative programs. In Proceedings of the SIGPLAN '92 Conference on Program Language Design and Implementation, San Francisco, CA, June 1992. http://citeseer.ist.psu.edu/50952.html More
@inproceedings{ hendren92abstractions,
author = "Laurie J. Hendren and Joseph Hummel and Alexandru Nicolau",
title = "Abstractions for recursive pointer data structures: Improving the analysis and transformation of imperative programs",
booktitle = "Proceedings of the Conference on Programming Language Design and Implementation ({PLDI})",
journal = "SIGPLAN Notices",
volume = "27",
number = "7",
publisher = "ACM Press",
address = "New York, NY",
isbn = "0-89791-475-9",
pages = "249--260",
year = "1992",
url = "citeseer.ist.psu.edu/50952.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1987
666 The Design and Analysis of Spatial Data Structures (context) - Samet - 1990
353 Software Pipelining: An Effective Scheduling Technique for V.. (context) - Lam - 1988
352 Supercompilers for Parallel and Vector Computers (context) - Zima, Chapman - 1990
277 Advanced compiler optimization for supercomputers (context) - Padua, Wolfe - 1986
258 Automatic translation of FORTRAN programs to vector form - Allen, Kennedy - 1987
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
207 Flow Analysis and Optimization of LISP-like Structures (context) - Jones, Muchnick et al. - 1981
146 Parallelizing Programs with Recursive Data Structures (context) - Hendren, Nicolau - 1990
146 Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989
96 An Efficient Program for Many-Body Simulation (context) - Appel - 1985
90 Optimal Loop Parallelization (context) - Aiken, Nicolau - 1988
77 Oxford University Press (context) - Metcalf, Reid et al. - 1990
51 Perfect Pipelining: A new loop parallelization technique - Aiken, Nicolau - 1988
42 Program Improvement by Sourceto -Source Transformation (context) - Loveman - 1977
39 Data Structure Techniques (context) - Standish - 1980
33 The interprocedural analysis and automatic parallelization o.. (context) - Harrison - 1989
30 Efficient Code Generation for Horizontal Architectures: Comp.. (context) - Rau, Glaeser - 1982
25 A technique for analyzing pointer and structure references i.. (context) - Jr - 1988
22 Designing Programming Languages for Analyzability: A Fresh L.. - Hendren, Gao - 1992
19 Software-Practice and Experience (context) - Dongarra, Hinds et al. - 1979
17 The Structure of Computers and Computations: Volume (context) - Kuck - 1978
15 Restructuring Symbolic Programs for Concurrent Execution on .. (context) - Larus - 1989
13 Restructuring Lisp programs for concurrent execution (context) - Larus, Hilfinger - 1988
4 Renaming and their impact on Finegrain Parallelism (context) - Nicolau, Potasman et al. - 1991
3 The code can be obtained from Prof (context) - Barnes, Hut et al. - 1986
3 Generalized iteration space and the parallelization of symbo.. - Harrison - 1991
3 and Xiangyun Kang (context) - Klappholz, Kallis - 1990
3 Tool support for data structures (context) - Grosch - 1991
1 The PARSEQ Project: An Interim Report (context) - Solworth - 1990
1 and FORTRAN Language Reference Manuals (context) - Corporation - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.capsl.udel.edu/capslpapers.shtml): More
Building Multithreaded Architectures with Off-the-Shelf.. - Hum, al. (1994) (Correct)
Deepness Analysis: Bringing Optimal Fronts to Triangular Finite.. - Galtier (1994) (Correct)
Co-Scheduling Hardware and Software Pipelines - Govindarajan, Altman, Gao (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