Aina Linn Georges - ISMM 2023

Sun 18 Jun 2023 Orlando, Florida, United States

co-located with PLDI 2023

Registered user since Sun 8 Nov 2020

Name:Aina Linn Georges

Affiliation:Aarhus University

Contributions

2023

PLDI

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs

Show activities from other conferences

PLDI 2023-profile
View general profile