See this document in CiteSeerX!

Verifying Optimizers through Comparison Checking (2002)  (Make Corrections)  
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa



  Home/Search   Context   Related

 
View or download:
arizona.edu/people/gupta/rese...cocv.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  arizona.edu/people/gupta/re...all (more)
(Enter author homepages)

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

Abstract: We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed by the application of optimizations. We have successfully applied comparison checking to a large class of program transformations that alter (1) the relative ordering in which values are computed by the intermediate code statements, (2) the form of the intermediate code statements, and (3) the control ow structure... (Update)

Similar documents (at the sentence level):
55.6%:   Source Level Debugging Techniques And Tools For Optimized Code - Jaramillo (2000)   (Correct)
14.5%:   Comparison Checking: An Approach to Avoid Debugging of.. - Jaramillo, Gupta, Soffa (1999)   (Correct)

Active bibliography (related documents):   More   All
1.7:   Electronic Notes in Theoretical Computer Science 65 No. 2 (2002) - Url Http Www   (Correct)
0.2:   FULLDOC: A Full Reporting Debugger for Optimized Code - Jaramillo, Gupta, Soffa (2000)   (Correct)
0.2:   Using Iterative Compilation for Managing Software.. - van der Mark, Rohou, al. (1999)   (Correct)

System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:   More   All
1.1:   Debugging of Optimized Code through Comparison Checking - Jaramillo, Gupta, Soffa (1999)   (Correct)
0.3:   Capturing the Effects of Code Improving Transformations - Jaramillo, Gupta, Soffa (1998)   (Correct)
0.3:   Integrating Program Optimizations and Transformations with the .. - David Berson (1996)   (Correct)

BibTeX entry:   (Update)

@misc{ jaramillo-verifying,
  author = "Clara Jaramillo and Rajiv Gupta and Mary Lou Soffa",
  title = "Verifying Optimizers through Comparison Checking",
  url = "citeseer.ist.psu.edu/jaramillo02verifying.html" }
Citations (may not include all citations):
98   Compiler: Design and Implementation (context) - Fraser, Hanson et al. - 1995
47   Fast Breakpoints: Design and Implementation (context) - Kessler - 1990
41   Translation Validation for an Optimizing Compiler - Necula - 2000
13   Isolation and Analysis of Optimization Errors (context) - Boyd, Whalley - 1993
10   Software Practice and Experience (context) - Sosic, Abramson et al. - 1997
9   A New Framework for Debugging Globally Optimized Code - Wu, Mirani et al. - 1999
7   Dynamic Currency Determination in Optimized Programs (context) - Dhamdhere, Sankaranarayanan - 1998
4   ects of Code Improving Transformations (context) - Jaramillo, Gupta et al. - 1998
2   and Siegel (context) - Pneuli, Rodeh et al. - 1999
2   Interactive Source-Level Debugging of Optimized Code (context) - Wu - 2000
1   Bugnd: A Tool for Debugging Optimizing Compilers (context) - Caron, Darnell - 1990

Documents on the same site (http://www.cs.arizona.edu/people/gupta/research/Publications/all.html):   More
Partial Dead Code Elimination using Slicing Transformations - Bodik, Gupta (1997)   (Correct)
A Code Motion Framework for Global Instruction Scheduling - Gupta (1998)   (Correct)
Path Profile Guided Partial Dead Code Elimination Using.. - Gupta, Berson, Fang (1997)   (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