Static Detection of Unsafe DMA Accesses in Device Drivers. - Jia-Ju Bai; Tuo Li 005; Kangjie Lu; Shi-Min Hu 001 (USENIX Security Symposium, 2021)

Path-sensitive and alias-aware typestate analysis for detecting OS bugs. - Tuo Li 005; Jia-Ju Bai; Yulei Sui; Shi-Min Hu 001 (ASPLOS, 2022)

DLOS: Effective Static Detection of Deadlocks in OS Kernels. - Jia-Ju Bai; Tuo Li 005; Shi-Min Hu 001 (USENIX ATC, 2022)

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

SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis. - Tuo Li 005; Jia-Ju Bai; Yulei Sui; Shi-Min Hu 001 (ACM Trans. Comput. Syst., 2024)