Stratified synthesis: automatically learning the x86-64 instruction set

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 02, 2016
Source ID
10.1145/2908080.2908121

Entities

People

  • Alex Aiken
  • Eric Schkufza
  • Rahul Sharma
  • Stefan Heule

Organizations

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