DLOS: Effective Static Detection of Deadlocks in OS Kernels.

Jia-Ju Bai, Tuo Li, Shi-Min Hu

Browse the full USENIX paper archive.