Optimizing synthesis with metasketches

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 11, 2016
Source ID
10.1145/2837614.2837666

Entities

People

  • Dan Grossman
  • Emina Torlak
  • James Bornholt
  • Luis Ceze

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Washington