Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels [pdf]www-users.cs.umn.edu16 pointslainon8 years ago