Yonghao Zou (邹永浩)

News

I will continue my PhD study at PKU.

The DistFuzz paper got accepted.

Research Interests

Computer Systems, Security, Fuzzing, Verification, Robotics

Currently, I am working on system software verification.

Biography

I will be a PhD student at PKU working with Prof. Diyu Zhou. Before that, I worked with Prof. George Candea and Prof. Diyu Zhou at EPFL. Prior to EPFL, I received my master's degree in the Computer Science Department at Tsinghua University. I worked with Shi-Min Hu and Jia-Ju Bai in OSLAB. Prior to Tsinghua, I worked 3 years for China Merchants Bank as a software developer. Before that, I obtained my Bachelor's degree at Zhejiang University.

Publications

• Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning

Yonghao Zou, Jia-Ju Bai, Zu-Ming Jiang, Ming Zhao, Diyu Zhou

Proceedings of the 32th Network and Distributed System Security Symposium (NDSS '25) Code

• Practical Verification of System-Software Components Written in Standard C

Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clément Pit-Claudel

Proceedings of the 30th Symposium on Operating Systems Principles (SOSP '24)

• Poster: Memory Usage Interfaces for Serverless Functions

Yonghao Zou, David Hua, George Candea

Poceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24 Poster)

• ROZZ: Property-based Fuzzing for Robotic Programs in ROS

Kai-Tao Xie, Jia-Ju Bai, Yong-Hao Zou, Yu-Ping Wang

Proceedings of the 2022 International Conference on Robotics and Automation (ICRA '22)

• TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing

Yong-Hao Zou, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu

Proceedings of the 2021 USENIX Annual Technical Conference (ATC '21) Code

• Effective Crash Recovery of Robot Software Programs in ROS

Yong-Hao Zou, Jia-Ju Bai

Proceedings of the 2021 International Conference on Robotics and Automation (ICRA '21)

Work experience

• CTO @ MocoTech, 2022
• Software Developer @ China Merchants Bank, 2015 ~ 2018

Honors

EPFL Computer Science (EDIC) Fellowship

Outstanding Master's Graduate, Tsinghua University

Teaching

CS-311 The software enterprise - from ideas to products (TA)

Academic Activities

EuroSys 2025 (Shadow PC)

Misc.

Assigned CVEs: CVE-2023-50575, CVE-2023-50576, CVE-2023-50577, CVE-2024-22937

I used "Yong-Hao" as my English name during Tsinghua.

I write some blogs here.

Curriculum vitae

Steam dlyxy_zyh