Linked Presentation: CARDSHARK: Understanding and Stablizing Linux Kernel Concurrency Bugs Against the Odds
