Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan. Line-up: a complete and automatic linearizability checker. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 330-340, ACM, 2010. [doi]
@inproceedings{BurckhardtDMT10,
title = {Line-up: a complete and automatic linearizability checker},
author = {Sebastian Burckhardt and Chris Dern and Madanlal Musuvathi and Roy Tan},
year = {2010},
doi = {10.1145/1806596.1806634},
url = {http://doi.acm.org/10.1145/1806596.1806634},
tags = {completeness},
researchr = {https://researchr.org/publication/BurckhardtDMT10},
cites = {0},
citedby = {0},
pages = {330-340},
booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010},
editor = {Benjamin G. Zorn and Alexander Aiken},
publisher = {ACM},
isbn = {978-1-4503-0019-3},
}