Yonghao Zou (邹永浩)

News

The TPot paper got accepted.

Biography

I’m a PhD student at EPFL working with Professor George Candea (and Dr. Diyu Zhou previously). 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

• 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 2024 Symposium on Operating Systems Principles (SOSP)

• Poster: Memory Usage Interfaces for Serverless Functions

Yonghao Zou, David Hua, George Candea.

Poceedings of the 2024 USENIX Symposium on Operating Systems Design and Implementation (OSDI 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).

• 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 (USENIX ATC). 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).

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)

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 打雷要下雨