Effective data-race detection for the kernel (0)

by John Erickson, Madanlal Musuvathi, S B, K Olynyk