| RedLeaf: Isolation and Communication in a Safe Operating System V Narayanan, T Huang, D Detweiler, D Appel, Z Li, G Zellweger, ... 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020 | 89 | 2020 |
| Isolation in Rust: What is Missing? A Burtsev, D Appel, D Detweiler, T Huang, Z Li, V Narayanan, ... Proceedings of the 11th Workshop on Programming Languages and Operating …, 2021 | 7 | 2021 |
| Understanding the Overheads of Hardware and Language-Based IPC Mechanisms Z Li, T Huang, V Narayanan, A Burtsev Proceedings of the 11th Workshop on Programming Languages and Operating …, 2021 | 6 | 2021 |
| Atmosphere: Towards Practical Verified Kernels in Rust X Chen, Z Li, L Mesicek, V Narayanan, A Burtsev Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification …, 2023 | 3 | 2023 |
| Veld: Verified Linux Drivers X Chen, Z Li, J Zhang, A Burtsev Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification …, 2024 | | 2024 |
| Limitations and Opportunities of Modern Hardware Isolation Mechanisms X Chen, Z Li, T Jain, V Narayanan, A Burtsev 2024 USENIX Annual Technical Conference (USENIX ATC 24), 349-368, 2024 | | 2024 |
| Extending Rust with Support for Zero Copy Communication A Lafrance, D Detweiler, Z Li, X Chen, V Narayanan, A Burtsev Proceedings of the 12th Workshop on Programming Languages and Operating …, 2023 | | 2023 |
