LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules. - Tuo Li; Jia-Ju Bai; Gui-Dong Han; Shi-Min Hu 001 (USENIX Security Symposium, 2024)