@misc{indiciae32cbec7d1cd9,
  title = {CQS: A Formally-Verified Framework for Fair and Abortable Synchronization},
  author = {Nikita Koval and Dmitry Khalanskiy and Dan Alistarh},
  year = {2023},
  url = {https://arxiv.org/abs/2111.12682},
  note = {Source identifier: 2111.12682}
}