Lee Chew, David Lie. Kivati: fast detection and prevention of atomicity violations. In Christine Morin, Gilles Muller, editors, European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010. pages 307-320, ACM, 2010. [doi]
Abstract is missing.