Registered user since Sun 19 Jan 2020
Name:Hernán Ponce de León
Country:Germany
Affiliation:Huawei Dresden Research Center
Personal website: https://hernanponcedeleon.github.io
X (Twitter): https://x.com/h_poncedeleon
Contributions
2024
The Future of Weak Memory
POPL 2024-profile
View general profile
View general profile