Toggle navigation
Sign in
Sign up
conf.researchr.org
/
João Pereira
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Tue 26 Aug 2025
Name:
João Pereira
Affiliation:
ETH Zurich
Contributions
2025
SPLASH
Author of A Refinement Methodology for Distributed Programs in Rust within the OOPSLA-track
Author of Modular Reasoning about Global Variables and Their Initialization within the OOPSLA-track
Share
x
Mon 27 Oct 23:02
