Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thibaut Pérami
conf.researchr.org general profile
POPL 2024 profile
Not registered as user yet
Name:
Thibaut Pérami
Affiliation:
University of Cambridge
Contributions
2024
POPL
Author of An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic within the POPL-track
The Future of Weak Memory
Author of System-level weak memory models: The need for formalisation, ISA semantics integration and model diversity within the The Future of Weak Memory 2024-track
Share
x
Thu 21 Nov 13:06