@InProceedings{,
author = "Daniel Fryer and Dai Qin and Kuei Sun and Kah Wai Lee and Angela Demke Brown and Ashish Goel",
title = "Checking the Integrity of Transactional Mechanisms ",
booktitle = "12th USENIX Conference on File and Storage Technologies",
address = "Santa Clara, CA",
month = "February",
year = "2014",
pages = "295--308",
}