2 ms·Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels [pdf]16 points by lainon 8y ago