Kivati: fast detection and prevention of atomicity violations. - Lee Chew; David Lie (EuroSys, 2010)