VSync: push-button verification and optimization for synchronization primitives on weak memory models.
Jonas OberhauserRafael Lourenco de Lima ChehabDiogo BehrensMing FuAntonio PaolilloLilith OberhauserKoustubha BhatYuzhong WenHaibo ChenJaeho KimViktor VafeiadisPublished in: ASPLOS (2021)