Effective Data-Race Detection for the Kernel.

John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk

Browse the full OSDI paper archive.