Checked C: Making C Safe by Extension | IEEE Conference Publication | IEEE Xplore