受强制性开放获取政策约束的文章 - Zhaofeng Li了解详情
可在其他位置公开访问的文章：6 篇
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定