Atmosphere: Towards Practical Verified Kernels in Rust. - Xiangdong Chen; Zhaofeng Li 004; Lukas Mesicek; Vikram Narayanan; Anton Burtsev (KISV@SOSP, 2023)