DOE Patents title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Binary translation using peephole translation rules

Abstract

An efficient binary translator uses peephole translation rules to directly translate executable code from one instruction set to another. In a preferred embodiment, the translation rules are generated using superoptimization techniques that enable the translator to automatically learn translation rules for translating code from the source to target instruction set architecture.

Inventors:
;
Issue Date:
Research Org.:
Stanford Univ., CA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1176279
Patent Number(s):
7712092
Application Number:
12/069,755
Assignee:
The Board of Trustees of the Leland Stanford Junior University (Palo Alto, CA)
Patent Classifications (CPCs):
G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING
DOE Contract Number:  
W-7405-ENG-48
Resource Type:
Patent
Resource Relation:
Patent File Date: 2008 Feb 12
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING

Citation Formats

Bansal, Sorav, and Aiken, Alex. Binary translation using peephole translation rules. United States: N. p., 2010. Web.
Bansal, Sorav, & Aiken, Alex. Binary translation using peephole translation rules. United States.
Bansal, Sorav, and Aiken, Alex. Tue . "Binary translation using peephole translation rules". United States. https://www.osti.gov/servlets/purl/1176279.
@article{osti_1176279,
title = {Binary translation using peephole translation rules},
author = {Bansal, Sorav and Aiken, Alex},
abstractNote = {An efficient binary translator uses peephole translation rules to directly translate executable code from one instruction set to another. In a preferred embodiment, the translation rules are generated using superoptimization techniques that enable the translator to automatically learn translation rules for translating code from the source to target instruction set architecture.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Tue May 04 00:00:00 EDT 2010},
month = {Tue May 04 00:00:00 EDT 2010}
}

Works referenced in this record:

Denali: a goal-directed superoptimizer
conference, January 2002

  • Joshi, Rajeev; Nelson, Greg; Randall, Keith
  • Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02
  • https://doi.org/10.1145/512529.512566

Automatic generation of fast optimizing code generators
journal, July 1988


The design of a resourceable and retargetable binary translator
conference, January 1999


Automatic generation of peephole optimizations
journal, June 1984


Superoptimizer: a look at the smallest program
journal, October 1987


Automatic generation of peephole superoptimizers
conference, January 2006

  • Bansal, Sorav; Aiken, Alex
  • Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII
  • https://doi.org/10.1145/1168857.1168906

Binary translation and architecture convergence issues for IBM system/390
conference, January 2000