Checking the integrity of transactional mechanisms.

Daniel Fryer, Dai Qin, Jack Sun, Kah Wai Lee, Angela Demke Brown, Ashvin Goel

Browse the full FAST paper archive.