VSync: push-button verification and optimization for synchronization primitives on weak memory models
Conference proceeding (April 2021)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Conference proceeding (April 2021)
Article in Eastern-European Journal of Enterprise Technologies (December 2019)
Article in Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (September 2017)