Publications

SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning

Zihao Rao, Yilin Chen, Chengjun Chen, Hui Xu

Published in 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026), 2026

Annotating and Auditing the Safety Properties of Unsafe Rust

Zihao Rao, Jiping Zhou, Hongliang Tian, Xin Wang, Hui Xu

Published in arXiv, 2025

Paper

Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems

Zihao Rao

Published in 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), 2024

Paper

Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing

Shuyao Jiang, Ruiying Zeng, Zihao Rao, Jiazhen Gu, Yangfan Zhou, Michael R. Lyu

Published in 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), 2023

Paper