Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives.

Diego Cepeda, Sakib Chowdhury, Nan Li, Raphael Lopez, Xinzhe Wang, Wojciech M. Golab

Browse the full OPODIS paper archive.