Check It Again: Detecting Lacking-Recheck Bugs in OS Kernels.

Wenwen Wang, Kangjie Lu, Pen-Chung Yew

Browse the full CCS paper archive.