TY  - RPRT
TI  - Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models
AU  - Antonio Paolillo
AU  - Hernán Ponce-de-León
AU  - Thomas Haas
AU  - Diogo Behrens
AU  - Rafael Chehab
AU  - Ming Fu
AU  - Roland Meyer
PY  - 2022
UR  - https://arxiv.org/abs/2111.15240
ID  - 2111.15240
ER  -