Xiaojia Rao

Registered user since Fri 7 Apr 2023

Name:Xiaojia Rao
Country:United Kingdom
Affiliation:Imperial College

Contributions

PLDI 2023 Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Show activities from other conferences

Using general profile