Junhan Duan, Yudi Yang, Jie Zhou, John Criswell: Refactoring the FreeBSD Kernel with Checked C. SecDev 2020: 15-22