Making lock-free data structures verifiable with artificial transactions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Making Lock-free Data Structures Verifiable with Artificial TransactionsXinHao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan. sigops, 49(2):57-63, 2015. [doi]

runs on WebDSL