Yonghao Zou (邹永浩)

News

CortonMM got the best paper award!

CortonMM got accepted!

Research Interests

Computer Systems, Security, Fuzzing, Verification, Robotics, LLM for Code Generation/Verification/Systems

Currently, I am working on system software verification.

Biography

I am 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 engineer. I obtained my Bachelor's degree at Zhejiang University.

Publications

1. 2025

   CortenMM: Efficient Memory Management with Strong Correctness Guarantee

   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

   SOSP '25, Proceedings of the 31st ACM Symposium on Operating Systems Principles Best Paper Award

2. 2025

   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

   NDSS '25, Proceedings of the 32nd Network and Distributed System Security Symposium

   Paper Code

3. 2024

   Practical Verification of System-Software Components Written in Standard C

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

   SOSP '24, Proceedings of the 30th ACM Symposium on Operating Systems Principles

   Paper

4. 2024

   Poster: Memory Usage Interfaces for Serverless Functions

   Yonghao Zou, David Hua, George Candea

   OSDI '24 Poster, Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation

   Poster

5. 2022

   ROZZ: Property-based Fuzzing for Robotic Programs in ROS

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

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

   Paper

6. 2021

   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

   ATC '21, Proceedings of the 2021 USENIX Annual Technical Conference

   Paper Code

7. 2021

   Effective Crash Recovery of Robot Software Programs in ROS

   Yong-Hao Zou, Jia-Ju Bai

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

   Paper

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, Spring 2024, Fall 2024, (TA)

Academic Activities

SOSP 2025 (Artifact Evaluation Committee)

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