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 | 63 | 2020 |
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 | 5 | 2021 |
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 | 4 | 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 | | 2023 |
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 |