Oberhauser, J., Lima de Chehab, R. L., Behrens, D., Fu, M., Paolillo, A., Oberhauser, L., Bhat, K., Wen, Y., Chen, H., Kim,
J., & Vafeiadis, V. (2021). VSync: Push-Button Verification and Optimization for
Synchronization Primitives on Weak Memory Models. In Twenty-Sixth International Conference on Architectural
Support for Programming Languages and Operating Systems (pp. 530-545). New York, NY: ACM. doi:10.1145/3445814.3446748.