See this document in CiteSeerX!

An Approach for Exploring Code Improving Transformations (1997)  (Make Corrections)  (8 citations)
Deborah L. Whitfield, Mary Lou Soffa
ACM Transactions on Programming Languages and Systems



  Home/Search   Context   Related

 
View or download:
pitt.edu/~soffa/rese...toplas6.final.ps
pitt.edu/~soffa/researc...toplas1720.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  pitt.edu/~soffa/re...optimization (more)
From:  pitt.edu/~soffa/research...optold
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: : Although code transformations are routinely applied to improve the performance of programs for both scalar and parallel machines, the properties of code improving transformations are not well understood. In this paper we present a framework that enables the exploration, both analytically and experimentally, of properties of code improving transformations. The major component of the framework is a specification language, Gospel, for expressing the conditions needed to safely apply a... (Update)

Cited by:   More
Caroline Mae Tice - Report No Ucb   (Correct)
Compiler Optimization-Space Exploration - Triantafyllis, Vachharajani.. (2005)   (Correct)
A Framework for Automatic Generation of Code Optimizers - Karuri (1999)   (Correct)

Active bibliography (related documents):   More   All
1.4:   The Design and Implementation of Genesis - Whitfield, Soffa (1994)   (Correct)
0.6:   Towards a Tool Kit for the Automatic Generation of.. - Knoop, Rüthing, Steffen (1996)   (Correct)
0.2:   Composing Dataflow Analyses and Transformations - Lerner, Grove, Chambers (2001)   (Correct)

Similar documents based on text:   More   All
0.7:   Heuristic Approaches to Vehicle Routing with Backhauls and Time.. - Thangiah (1996)   (Correct)
0.2:   Dynamic Analysis from the Bottom Up - Mock   (Correct)
0.1:   An Overview of the PIVOT Environment for Program Restructuring - Dow, Chang, Soffa   (Correct)

Related documents from co-citation:   More   All
2:   A Framework for Balancing Control Flow and Predication - August, Hwu et al. - 1997
2:   Instruction scheduling for clustered VLIW DSPs - Leupers - 2000
2:   Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990

BibTeX entry:   (Update)

Deborah L. Whitfield and Mary Lou Soffa. An Approach for Exploring Code Improving Transformations. ACM Transaction on Programming Languages and Systems, Vol 19, No 6, pages 1053-1084, Nov. 1997. 157 http://citeseer.ist.psu.edu/whitfield97approach.html   More

@article{ whitfield97approach,
    author = "Deborah L. Whitfield and Mary Lou Soffa",
    title = "An approach for exploring code improving transformations",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "19",
    number = "6",
    pages = "1053--1084",
    year = "1997",
    url = "citeseer.ist.psu.edu/whitfield97approach.html" }
Citations (may not include all citations):
49   Tiny: A Loop Restructuring Research Tool - Wolfe - 1989
38   Generation of Efficient Interprocedural Analyzers with PAG - Alt, Martin - 1997
38   A General Framework for Iteration-Reordering Loop Transforma.. - Sarkar, Thekkath - 1992
30   An Approach to Ordering Optimizing Transformations (context) - Whitfield, Soffa - 1990
21   Free Software Foundation (context) - Manual - 1995
14   Global Code Motion Global Value Numbering (context) - Click - 1995
12   A Flexible Architecture for Building Data Flow Analyzers - Dwyer, Clarke - 1996
12   The SUIF Parallelizing Compiler Guide (context) - Compiler - 1994
11   Techniques for Integrating Parallelizing Transformations and.. (context) - Watts, Soffa et al. - 1992
9   Automatic Generation of Fast Optimizing Code Generators (context) - Fraser, Wendt - 1988
8   SPARE: A Development Environment for Program Analysis Algori.. (context) - Venkatesh, Fischer - 1992
6   Peep - An Architectural Description Driven Peephole Transfor.. (context) - Kessler - 1984
2   Automatic Generation of Peephole Transformations (context) - Davidson, Fraser - 1984
2   Investigation of Properties of Code Transformations (context) - Whitfield, Sofa - 1993
2   Douglas Faires (context) - Burden - 1989
1   Automatic Generation of Machine Specific Code Transformer (context) - Giegerich - 1982
1   Sharlit - A tool for building transformers (context) - Tjiang, Hennessy - 1992
1   The Design and Implementation of Genesis - Whitfield, Soffa - 1994
1   Advanced Compiler Transformations for Supercomputers (context) - Padua, Wolfe - 1986



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.cs.pitt.edu/~soffa/research/optimization.html):   More
Complete Removal of Redundant Expressions - Bodik, Gupta, Soffa (1998)   (Correct)
A Practical Data Flow Framework for Array Reference.. - Duesterwald, Gupta.. (1993)   (Correct)
Data Flow Analysis Driven Dynamic Data Partitioning - Tims, Gupta, Soffa (1998)   (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