Checking the Integrity of Transactional Mechanisms. - Daniel Fryer; Mike Dai Qin; Jack Sun; Kah Wai Lee; Angela Demke Brown; Ashvin Goel (ACM Trans. Storage, 2014)