Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels.

Meng Xu, Chenxiong Qian, Kangjie Lu, Michael Backes, Taesoo Kim

Browse the full SP paper archive.