Repairing sequential consistency in C/C++11

Article Details
Title:	Repairing sequential consistency in C/C++11
Article URLs:	https://doi.org/10.1145/3062341.3062352
Alternative Article URLs:	https://people.mpi-sws.org/~dreyer/papers/scfix/paper.pdf
Authors:	Ori Lahav	MPI-SWS
	Viktor Vafeiadis	MPI-SWS
	Jeehoon Kang	Seoul National University
	Chung-Kil Hur	Seoul National University
	Derek Dreyer	MPI-SWS
Sharing:	Research produced no artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/pldi/LahavVKHD17
Author Comments:

ACM Programming Language Design and Implementation, PLDI 2017