XinHao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan. Making lock-free data structures verifiable with artificial transactions. In Shan Lu, editor, Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015. pages 39-45, ACM, 2015. [doi]
@inproceedings{YuanWYS15,
title = {Making lock-free data structures verifiable with artificial transactions},
author = {XinHao Yuan and David Williams-King and Junfeng Yang and Simha Sethumadhavan},
year = {2015},
doi = {10.1145/2818302.2818309},
url = {http://doi.acm.org/10.1145/2818302.2818309},
researchr = {https://researchr.org/publication/YuanWYS15},
cites = {0},
citedby = {0},
pages = {39-45},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015},
editor = {Shan Lu},
publisher = {ACM},
isbn = {978-1-4503-3942-1},
}