An incremental path towards a safer OS kernel.

Jialin Li, Samantha Miller, Danyang Zhuo, Ang Chen, Jon Howell, Thomas E. Anderson

Browse the full HotOS paper archive.