
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