Atmosphere: Practical Verified Kernels with Rust and Verus.

Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Vikram Narayanan, Anton Burtsev

Browse the full SOSP paper archive.