Unspeculation

Noah Snavely, Saumya Debray, Gregory Andrews

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

Modern architectures, such as the Intel Itanium, support speculation, a hardware mechanism that allows the early execution of expensive operations-possibly even before it is known whether the results of the operation are needed. While such speculative execution can improve execution performance considerably, it requires a significant amount of complex support code to deal with and recover from speculation failures. This greatly complicates the tasks of understanding and re-engineering speculative code. This paper describes a technique for removing speculative instructions from optimized binary programs in a way that is guaranteed to preserve program semantics, thereby making the resulting “unspeculated” programs easier to understand and more amenable to re-engineering using traditional reverse engineering techniques.

Original languageEnglish (US)
Title of host publicationProceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages205-214
Number of pages10
ISBN (Electronic)0769520359, 9780769520353
DOIs
StatePublished - 2003
Event18th IEEE International Conference on Automated Software Engineering, ASE 2003 - Montreal, Canada
Duration: Oct 6 2003Oct 10 2003

Publication series

NameProceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Conference

Conference18th IEEE International Conference on Automated Software Engineering, ASE 2003
Country/TerritoryCanada
CityMontreal
Period10/6/0310/10/03

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality
  • Control and Optimization
  • Modeling and Simulation

Fingerprint

Dive into the research topics of 'Unspeculation'. Together they form a unique fingerprint.

Cite this