DoubleChecker: efficient sound and precise atomicity checking

Article Details
Title:	DoubleChecker: efficient sound and precise atomicity checking
Article URLs:	https://doi.org/10.1145/2594291.2594323
Alternative Article URLs:
Authors:	Swarnendu Biswas	Ohio State University, Department of Computer Science and Engineering
	Jipeng Huang	Ohio State University, Department of Computer Science and Engineering
	Aritra Sengupta	Ohio State University, Department of Computer Science and Engineering
	Michael D. Bond	Ohio State University, Department of Computer Science and Engineering
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://sourceforge.net/p/jikesrvm/research-archive/45/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1253703, 1218695
DBLP Key:	conf/pldi/BiswasHSB14
Author Comments:

ACM Programming Language Design and Implementation, PLDI 2014