@TechReport{lockit:tr,
    author = "Yuan, Xinhao and Williams-King, David and Yang, Junfeng and Sethumadhavan, Simha",
    ids = "lockit-tr",
    title = "Making Lock-free Data Structures Verifiable with Artificial Transactions",
    institution = "Columbia University",
    number = "CUCS-026-14",
    year = "2014",
    doi = "10.7916/D88S4NRP",
    url = "https://academiccommons.columbia.edu/doi/10.7916/D88S4NRP",
    pdfurl = "https://academiccommons.columbia.edu/doi/10.7916/D8KW5QMX/download"
}