Synthesizing memory models from framework sketches and Litmus tests

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 14, 2017
Source ID
10.1145/3062341.3062353

Entities

People

  • Emina Torlak
  • James Bornholt

Organizations

  • Defense Advanced Research Projects Agency
  • University of Washington