Effective data-race detection for the kernel (2010)

by John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Venue:In Proceedings of the 9th USENIX conference on Operating systems design and implementation