Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sasha Pak
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Fri 19 Sep 2025
Name:
Sasha Pak
Country:
Australia
Affiliation:
Australian National University
GitHub:
https://github.com/sancho20021
Contributions
2025
IWACO
Author of A Verified Thread-Safe Array in Rust within the IWACO 2025-track
SPLASH
Author of View Types in Rust within the Posters-track
Author of Verifying Extract Method Refactoring in Rust within the Posters-track
Share
x
Sat 25 Oct 10:55
