FeatherLite
Lightweight data-race detection
Publications
- John Erickson, Madanlal Musuvathi, sebastian burckhardt, and kirk olynyk, Effective Data-Race Detection for the Kernel, in Operating System Design and Implementation (OSDI'10), USENIX, October 2010
- Daniel Marino, Madanlal Musuvathi, and Satish Narayanasamy, Effective Sampling for Lightweight Data-Race Detection, no. MSR-TR-2008-175, November 2008