@inproceedings {xinhao:plos15,
        author = {Xinhao Yuan and David Williams-King and Junfeng Yang and Simha Sethumadhavan},
        title = {Making Lock-free Data Structures Verifiable with Artificial Transactions},
        year = {2015},
        month = {October},
        booktitle = {Eighth Workshop on Programming Languages and Operating Systems (PLOS '15)},
}