Synthesis of machine code from semantics

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 03, 2015
Source ID
10.1145/2737924.2737960

Entities

People

  • Thomas Reps
  • Venkatesh Srinivasan

Organizations

  • Air Force Research Laboratory
  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Wisconsin–Madison
  • Wisconsin Alumni Research Foundation