COATCheck: Verifying Memory Ordering at the Hardware-OS Interface

Article Details
Title:	COATCheck: Verifying Memory Ordering at the Hardware-OS Interface
Article URLs:	https://doi.org/10.1145/2872362.2872399
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:	http://github.com/daniellustig/coatcheck
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1117147, 1253700
DBLP Key:	conf/asplos/LustigSMB16
Author Comments:

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