RedLeaf: Isolation and Communication in a Safe Operating System. - Vikram Narayanan; Tianjiao Huang; David Detweiler; Dan Appel; Zhaofeng Li 004; Gerd Zellweger; Anton Burtsev (OSDI, 2020)

Isolation in Rust: What is Missing? - Anton Burtsev; Dan Appel; David Detweiler; Tianjiao Huang; Zhaofeng Li 004; Vikram Narayanan; Gerd Zellweger (PLOS@SOSP, 2021)

Understanding the Overheads of Hardware and Language-Based IPC Mechanisms. - Zhaofeng Li 004; Tianjiao Huang; Vikram Narayanan; Anton Burtsev (PLOS@SOSP, 2021)

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

Extending Rust with Support for Zero Copy Communication. - Arthur Lafrance; David Detweiler; Zhaofeng Li 004; Xiangdong Chen; Vikram Narayanan; Anton Burtsev (PLOS@SOSP, 2023)

Rust for Linux: Understanding the Security Impact of Rust in the Linux Kernel. - Zhaofeng Li 004; Vikram Narayanan; Xiangdong Chen; Jerry Zhang; Anton Burtsev (ACSAC, 2024)

Veld: Verified Linux Drivers. - Xiangdong Chen; Zhaofeng Li 004; Jerry Zhang; Anton Burtsev (KISV@SOSP, 2024)

Limitations and Opportunities of Modern Hardware Isolation Mechanisms. - Xiangdong Chen; Zhaofeng Li 004; Tirth Jain; Vikram Narayanan; Anton Burtsev (USENIX ATC, 2024)

Atmosphere: Practical Verified Kernels with Rust and Verus. - Xiangdong Chen; Zhaofeng Li 004; Jerry Zhang; Vikram Narayanan; Anton Burtsev (SOSP, 2025)