• Checked C: Making C Safe by Extension - Microsoft Research https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/ 39 comments 8/9/2018 programming