Refactoring the FreeBSD Kernel with Checked C. - Junhan Duan; Yudi Yang; Jie Zhou 022; John Criswell (SecDev, 2020)