@misc{indiciae299a17cd8995,
  title = {VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)},
  author = {Jonas Oberhauser and Rafael Lourenco de Lima Chehab and Diogo Behrens and Ming Fu and Antonio Paolillo and Lilith Oberhauser and Koustubha Bhat and Yuzhong Wen and Haibo Chen and Jaeho Kim and Viktor Vafeiadis},
  year = {2021},
  url = {https://arxiv.org/abs/2102.06590},
  note = {Source identifier: 2102.06590}
}