VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report).
Jonas OberhauserRafael Lourenco de Lima ChehabDiogo BehrensMing FuAntonio PaolilloLilith OberhauserKoustubha BhatYuzhong WenHaibo ChenJaeho KimViktor VafeiadisPublished in: CoRR (2021)