Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing. - Shuyao Jiang; Ruiying Zeng; Zihao Rao; Jiazhen Gu; Yangfan Zhou; Michael R. Lyu (ASE, 2023)

Distributed Formation Coordinated Control of Multiple Unmanned Surface Vehicles Based on Deep Reinforcement Learning. - Fangyou Luo; Tao Wang 130; Chen Gao; Zihao Rao; Bo Liu (ICIRA (2), 2024)

Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems. - Zihao Rao (ASE, 2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems. - Zihao Rao; Yiran Yang; Hui Xu (CoRR, 2024)

Annotating and Auditing the Safety Properties of Unsafe Rust. - Zihao Rao; Hongliang Tian; Xin Wang; Hui Xu (CoRR, 2025)