@misc{indiciae869a30673ff2,
  title = {Sound Atomicity Inference for Data-Centric Synchronization},
  author = {Hervé Paulino and Ana Almeida Matos and Jan Cederquist and Marco Giunti and João Matos and António Ravara},
  year = {2023},
  url = {https://arxiv.org/abs/2309.05483},
  note = {Source identifier: 2309.05483}
}