Vafeiadis, Victor Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;
Jia, X., Li, W., & Vafeiadis, V. (2015). Proving Lock-freedom Easily and Automatically. In CPP'15 (pp. 119-127). New York, NY: ACM. doi:10.1145/2676724.2693179.