Not registered as user yet

Name:Isitha Subasinghe
Country:Australia
Affiliation:UNSW Sydney

Contributions

SPLASH 2023 Author of Verus: Verifying Rust Programs using Linear Ghost Types within the OOPSLA-track