DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules.

Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu

Browse the full USENIX paper archive.