Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond
DoubleChecker: efficient sound and precise atomicity checking
PLDI, 2014.
@inproceedings{PLDI-2014-BiswasHSB,
author = "Swarnendu Biswas and Jipeng Huang and Aritra Sengupta and Michael D. Bond",
booktitle = "{Proceedings of the 35th Conference on Programming Language Design and Implementation}",
doi = "10.1145/2594291.2594323",
editor = "Michael F. P. O'Boyle and Keshav Pingali",
isbn = "978-1-4503-2784-8",
pages = "6",
publisher = "{ACM}",
title = "{DoubleChecker: efficient sound and precise atomicity checking}",
year = 2014,
}