Linked Presentation: When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux
