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