Selected Publications
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)
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
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 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 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