Zhaofeng Li

According to our database, Zhaofeng Li authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Limitations and Opportunities of Modern Hardware Isolation Mechanisms.

Xiangdong Chen, Zhaofeng Li, Tirth Jain, Vikram Narayanan, Anton Burtsev

Proceedings of the 2024 USENIX Annual Technical Conference, 2024

Veld: Verified Linux Drivers.

Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Anton Burtsev

Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, 2024

2023

Extending Rust with Support for Zero Copy Communication.

Arthur Lafrance, David Detweiler, Zhaofeng Li, Xiangdong Chen, Vikram Narayanan, Anton Burtsev

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023

Atmosphere: Towards Practical Verified Kernels in Rust.

Xiangdong Chen, Zhaofeng Li, Lukas Mesicek, Vikram Narayanan, Anton Burtsev

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

2021

Understanding the Overheads of Hardware and Language-Based IPC Mechanisms.

Zhaofeng Li, Tianjiao Huang, Vikram Narayanan, Anton Burtsev

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

Isolation in Rust: What is Missing?

Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li, Vikram Narayanan, Gerd Zellweger

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

2020

RedLeaf: Isolation and Communication in a Safe Operating System.

Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020