TY  - RPRT
TI  - VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)
AU  - Jonas Oberhauser
AU  - Rafael Lourenco de Lima Chehab
AU  - Diogo Behrens
AU  - Ming Fu
AU  - Antonio Paolillo
AU  - Lilith Oberhauser
AU  - Koustubha Bhat
AU  - Yuzhong Wen
AU  - Haibo Chen
AU  - Jaeho Kim
AU  - Viktor Vafeiadis
PY  - 2021
UR  - https://arxiv.org/abs/2102.06590
ID  - 2102.06590
ER  -