Yong-Hao Zou

According to our database, Yong-Hao Zou authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

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

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

2022

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, 2022

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

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Effective Crash Recovery of Robot Software Programs in ROS.

Yong-Hao Zou, Jia-Ju Bai

Proceedings of the IEEE International Conference on Robotics and Automation, 2021