Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Opale Sjöstedt
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Opale Sjöstedt
Affiliation:
Imperial College London
Contributions
2025
SPLASH
Author of Compositional Symbolic Execution for the Next 700 Memory Models within the OOPSLA-track
Share
x
Sun 2 Nov 21:49