Linked Presentation: Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers
