ACM Architectural Support for Prog. Languages and Operating Systems, ASPLOS 2016


Article Details
Title: COATCheck: Verifying Memory Ordering at the Hardware-OS Interface
Article URLs:
Alternative Article URLs: http://ieeexplore.ieee.org/document/7948679/
Authors: Daniel Lustig
  • Princeton University
Geet Sethi
  • Rutgers University
Margaret Martonosi
  • Princeton University
Abhishek Bhattacharjee
  • Rutgers University
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1117147, 1253700
DBLP Key: conf/asplos/LustigSMB16
Author Comments:

Discuss this paper and its artifacts below