Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thibaut Pérami
conf.researchr.org general profile
POPL 2024 profile
POPL 2025 profile
POPL 2026 profile
Not registered as user
Name:
Thibaut Pérami
Affiliation:
University of Cambridge
Contributions
2026
POPL
Author of ArchSem: Reusable Rigorous Semantics of Relaxed Architectures within the POPL-track
2025
CoqPL
Author of Towards general white-box automation: a typeclass-guided context cleaner within the CoqPL 2025-track
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
Fri 5 Dec 16:47