Detecting Leaks of Sensitive Data Due to Stale Reads. - Will Snavely; William Klieber; Ryan Steele; David Svoboda; Andrew Kotov (SecDev, 2018)

Automated Code Repair to Ensure Spatial Memory Safety. - William Klieber; Ruben Martins; Ryan Steele; Matt Churilla; Mike McCall; David Svoboda (APR@ICSE, 2021)