Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives. - Diego Cepeda; Sakib Chowdhury; Nan Li; Raphael Lopez; Xinzhe Wang; Wojciech M. Golab (OPODIS, 2019)