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)