VOC: A translation validator for optimizing compilers

Lenore Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg

Research output: Contribution to journalConference articlepeer-review


The VOC, a methodology for translation validation of optimizing compilers, is discussed. VOC-64 is described as a tool which is developed to perform automatic translation validation for the SGI Pro/64 compiler, and gave examples of the VCs it generates. Structure preserving optimization are distinguished, for which a simulation relation is established between the source target code based on computational induction, and structure modifying optimizations. One of the main problems is the current need to interface with a 'heavy' package.

Original languageEnglish (US)
Pages (from-to)2-18
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Issue number2
StatePublished - Apr 2002
EventCOCV'02 Compiler Optimization Meets Compiler Verification (Satellite Event of ETAPS 2002) - Grenoble, France
Duration: Apr 13 2002Apr 13 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'VOC: A translation validator for optimizing compilers'. Together they form a unique fingerprint.

Cite this