Linked Presentation: Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer InformationWhen Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux
