Zihao Rao -

Registered user since Sun 6 Oct 2024

Name:Zihao Rao

Affiliation:Fudan University

Contributions

2026

ASE

Author of SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning within the Research Papers-track

2024

ASE

Author of Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems within the Student Research Competition -track

2023

ASE

Author of Revealing Performance Issues in Server-side WebAssembly Runtimes via Differential Testing within the Research Papers-track