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

Tutorial: Specifying, Implementing, and Verifying Algorithms for Persistent Memory. - Diego Cepeda; Sakib Chowdhury; Wojciech M. Golab (PODC, 2019)

PHPRX: An Efficient Hash Table for Persistent Memory. - Diego Cepeda; Wojciech M. Golab (SPAA, 2021)