Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa  Home/Search
Context
Related
| arizona.edu/people/gupta/rese...cocv.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: arizona.edu/people/gupta/re...all (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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