Naling Zhang, Markus Kusano, Chao Wang
Dynamic partial order reduction for relaxed memory models
PLDI, 2015.
@inproceedings{PLDI-2015-ZhangKW,
author = "Naling Zhang and Markus Kusano and Chao Wang",
booktitle = "{Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation}",
doi = "10.1145/2737924.2737956",
isbn = "978-1-4503-3468-6",
pages = "250--259",
publisher = "{ACM}",
title = "{Dynamic partial order reduction for relaxed memory models}",
year = 2015,
}