Haizhou Wang

Papers

Total Citations

H-Index

About

Haizhou Wang is a leading researcher in software engineering and robotics, with a primary focus on the reliability and safety of autonomous systems. His key research areas include program analysis, software testing, and concurrency bug detection, particularly within the Robot Operating System (ROS) ecosystem. Wang’s major contribution is the development of novel techniques to uncover lifecycle-related concurrency bugs in ROS programs—a critical yet underexplored vulnerability that can cause unpredictable robot behavior. His most-cited work, "Detecting Lifecycle-Related Concurrency Bugs in ROS Programs via Coverage-Guided Fuzzing" (2025), introduces an automated fuzzing framework that systematically explores ROS lifecycle states to trigger race conditions and deadlocks. This work has already garnered significant attention, with early citations reflecting its immediate impact on the robotics software community. By addressing the unique challenges of ROS’s lifecycle mechanism, Wang’s research provides practical tools for developers to build more robust robotic systems. His achievements highlight a crucial intersection of software engineering and robotics, offering actionable solutions for real-world deployment safety.