Jialin Li, Samantha Miller, Danyang Zhuo, Ang Chen, Jon Howell, Thomas E. Anderson: An incremental path towards a safer OS kernel. HotOS 2021: 183-190