Making lock-free data structures verifiable with artificial transactions.

Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan

Browse the full SOSP paper archive.