Kivati: fast detection and prevention of atomicity violations.

Lee Chew, David Lie

Browse the full EuroSys paper archive.