R. Chehab

VSync: push-button verification and optimization for synchronization primitives on weak memory models

Viktor Vafeiadis, Ming Fu, Koustubha Bhat, 2021, ASPLOS.

CLoF: A Compositional Lock Framework for Multi-level NUMA Systems

Ming Fu, Hermann Härtig, Antonio Paolillo, 2021, SOSP.