@Article{,
author = "Daniel Fryer and Dai Qin and Kuei Sun and Kah Wai Lee and Angela Demke Brown and Ashvin Goel",
title = "Checking the Integrity of Transactional Mechanisms",
publisher = "ACM",
journal = "Transactions on Storage",
volume = "10",
number = "4",
month = "October",
year = "2014",
pages = "17:1-17:23",
}