Linked Presentation: Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary ProgramsPlaying for K(H)eaps: Understanding and Improving Linux Kernel Exploit Reliability