LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules

Authors: 

Tuo Li, Tsinghua University; Jia-Ju Bai and Gui-Dong Han, Beihang University; Shi-Min Hu, Tsinghua University