Making lock-free data structures verifiable with artificial transactions

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]

Abstract

Abstract is missing.