Selected Publications
SBB: Eliminating Centralized Bottlenecks in User-space Network Stack
Kang Hu, Shuqi Dong, Chuandong Li, Ran Yi, Zonghao Zhang, Yiming Yao, Bo An, Jie Zhang, Xiaolin Wang, Yingwei Luo, Zhenlin Wang, and Diyu Zhou
20th USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘26)
Merlin: An Efficient Adaptive Cache Eviction Algorithm via Fine-Grained Characterization
Liujia Li, Jinhao Guo, Yi Fan, Jianyu Wu, Zhenlin Wang, Jie Zhang, Yuval Tamir, Xiaolin Wang, Yingwei Luo, and Diyu Zhou
20th USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘26)
Blowfish: Elastic Virtual Machine Memory for Disaggregated Memory
Yulong Zhang, Yilong Luo, Diyu Zhou, Quan Chen, Quanxi Li, Mosong Zhou, Lei Zhu, Senbo Fu, Qian Peng, Huimin Cui, Xiaobing Feng, Tao Xie, and Chenxi Wang
20th USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘26)
Espresso: Constructing Cost-Efficient CXL JBOF via Inter-SSD Computing Resource Sharing
Shushu Yi, Yuda An, Li Peng, Xiurui Pan, Qiao Li, Jieming Yin, Guangyan Zhang, Wenfei Wu, Chenxi Wang, Diyu Zhou, Zhenlin Wang, Xiaolin Wang, Yingwei Luo, Ke Zhou, and Jie Zhang
20th USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘26)
A Sound Static Analysis Approach to I/O API Migration
Shangyu Li, Zhaoyang Zhang, Sizhe Zhong, Diyu Zhou, and Jiasi Shen
2025 Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA ‘25)
paper
CortenMM: Efficient Memory Management with Strong Correctness Guarantees
Junyang Zhang, Xiangcan Xu, Yonghao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang, Hao Chen, Lin Huang, Shoumeng Yan, Yuval Tamir, Yingwei Luo, Xiaolin Wang, Huashan Yu, Zhenlin Wang, Hongliang Tian, and Diyu Zhou
31st ACM Symposium on Operating Systems Principles (SOSP ‘25)
Best Paper Award!
paper code
Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack
Chuandong Li, Ran Yi, Zonghao Zhang, Jing Liu, Changwoo Min, Yingwei Luo, Xiaolin Wang, Zhenlin Wang, and Diyu Zhou
31st ACM Symposium on Operating Systems Principles (SOSP ‘25)
paper code
SPDK+: Low Latency or High Power Efficiency? We Take Both
Endian Li, Shushu Yi, Li Peng, Qiao Li, Diyu Zhou, Zhenlin Wang, Xiaolin Wang, Bo Mao, Yingwei Luo, Ke Zhou, and Jie Zhang
17th ACM Workshop on Hot Topics in Storage and File Systems (HotStorage ‘25)
paper
ASTERINAS: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
Yuke Peng, Hongliang Tian, Junyang Zhang, Ruihan Li, Chengjun Chen, Jianfeng Jiang, Jinyi Xian, Xiaolin Wang, Chenren Xu, Diyu Zhou, Yingwei Luo, Shoumeng Yan, and Yinqian Zhang
2025 USENIX Annual Technical Conference (ATC ‘25)
paper
Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
Yonghao Zou, Jia-Ju Bai, Zu-Ming Jiang, Ming Zhao, and Diyu Zhou
Network and Distributed System Security Symposium (NDSS ‘25)
paper
Criticality-Aware Instruction-Centric Bandwidth Partitioning for Data Center Applications
Liren Zhu, Liujia Li, Jianyu Wu, Yiming Yao, Zhan Shi, Jie Zhang, Zhenlin Wang, Xiaolin Wang, Yingwei Luo, and Diyu Zhou
31st International Symposium on High-Performance Computer Architecture (HPCA ‘25)
paper code
Practical Verification of System-Software Components Written in Standard C
Can Cebeci, Yonghao Zou, Diyu Zhou , George Candea, and Clément Pit-Claudel
30th ACM Symposium on Operating Systems Principles (SOSP ‘24)
paper
Taming Hot Bloat Under Virtualization with HugeScope
Chuandong Li, Sai Sha, Yangqing Zeng, Xiran Yang, Yingwei Luo, Xiaolin Wang, Zhenlin Wang, and Diyu Zhou
2024 USENIX Annual Technical Conference (ATC ‘24)
paper code
Transparent Multicore Scaling of Single-Threaded Network Functions
Lei Yan, Yueyang Pan, Diyu Zhou, George Candea, and Sanidhya Kashyap
19th ACM European Conference on Computer Systems (EuroSys ‘24)
paper
Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture
Diyu Zhou, Vojtech Aschenbrenner, Tao Lyu, Jian Zhang, Sudarsun Kannan, and Sanidhya Kashyap
29th ACM Symposium on Operating Systems Principles (SOSP ‘23)
Best Paper Award!
paper code talk slides
Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS
Vishal Gupta, Kumar Kartikeya Dwivedi, Yugesh Kothari, Yueyang Pan, Diyu Zhou, and Sanidhya Kashyap
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘23)
paper
TENET: Memory Safe and Fault tolerant Persistent Transactional Memory
R. Madhava Krishnan, Diyu Zhou, Wook-Hee Kim, Sudarsun Kannan, Sanidhya Kashyap, and Changwoo Min
21st USENIX Conference on File and Storage Technologies (FAST ‘23)
paper
Odinfs: Scaling PM Performance with Opportunistic Delegation
Diyu Zhou, Yuchen Qian, Vishal Gupta, Zhifei Yang, Changwoo Min, and Sanidhya Kashyap
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘22)
paper code talk slides
Application-Informed Kernel Synchronization Primitives
Sujin Park, Diyu Zhou, Yuchen Qian, Irina Calciu, Taesoo Kim, and Sanidhya Kashyap
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘22)
paper
RRC: Responsive Replicated Containers
Diyu Zhou and Yuval Tamir
2022 USENIX Annual Technical Conference (ATC ‘22)
paper talk slides
Practical Dependable Systems with OS/Hypervisor Support
Diyu Zhou
Ph.D. Thesis
thesis defense slides
Fault-Tolerant Containers Using NiLiCon
Diyu Zhou and Yuval Tamir
34th IEEE International Parallel and Distributed Processing Symposium (IPDPS ‘20)
paper slides
PUSh: Data Race Detection Based on Hardware-Supported Prevention of Unintended Sharing
Diyu Zhou and Yuval Tamir
ACM/IEEE 52nd Annual Symposium on Microarchitecture (MICRO ‘19)
paper lightning talk slides
Fast Hypervisor Recovery Without Reboot
Diyu Zhou and Yuval Tamir
48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN ‘18)
paper slides