Naling Zhang, Markus Kusano, Chao Wang. Dynamic partial order reduction for relaxed memory models. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 250-259, ACM, 2015. [doi]
Abstract is missing.