Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ben Simner
conf.researchr.org general profile
PLDI 2020 profile
POPL 2024 profile
Registered user since Thu 16 Jan 2020
Name:
Ben Simner
Contributions
2024
The Future of Weak Memory
Author of Relaxed systems semantics and how we (hope to) reason above it within the The Future of Weak Memory 2024-track
2020
DeepSpec
Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track
Share
x
Sun 22 Dec 13:47