Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hadrien Renaud
conf.researchr.org general profile
POPL 2024 profile
‹Programming› 2022 profile
Registered user since Wed 31 Jan 2024
Name:
Hadrien Renaud
Country:
France
Affiliation:
UCL
GitHub:
https://github.com/HadrienRenaud
Contributions
2024
POPL
Author of Arm Architecture and Formal Artifacts: Memory Model and Instruction Semantics within the TutorialFest-track
2022
‹Programming›
Author of An Optimised Flow for Futures: From Theory to Practice within the Research Papers-track
Share
x
Sun 2 Nov 21:17