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)

KSplit: Automating Device Driver Isolation. - Yongzhe Huang; Vikram Narayanan; David Detweiler; Kaiming Huang; Gang Tan; Trent Jaeger; Anton Burtsev (OSDI, 2022)

DRAMHiT: A Hash Table Architected for the Speed of DRAM. - Vikram Narayanan; David Detweiler; Tianjiao Huang; Anton Burtsev (EuroSys, 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)