Lee Chew David Lie Kivati: fast detection and prevention of atomicity violations. 307-320 2010 EuroSys https://doi.org/10.1145/1755913.1755945 conf/eurosys/2010 db/conf/eurosys/eurosys2010.html#ChewL10