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