Zihao Rao -

Registered user since Sun 6 Oct 2024

Name:Zihao Rao

Affiliation:Fudan University

Contributions

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