Conditionally correct superoptimization

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 23, 2015
Source ID
10.1145/2814270.2814278

Entities

People

  • Alex Aiken
  • Berkeley Churchill
  • Eric Schkufza
  • Rahul Sharma

Organizations

  • Defense Advanced Research Projects Agency
  • Microsoft Research
  • National Science Foundation
  • Stanford University