@misc{indiciae8aac12319540,
  title = {Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models},
  author = {Antonio Paolillo and Hernán Ponce-de-León and Thomas Haas and Diogo Behrens and Rafael Chehab and Ming Fu and Roland Meyer},
  year = {2022},
  url = {https://arxiv.org/abs/2111.15240},
  note = {Source identifier: 2111.15240}
}