Dynamic partial order reduction for relaxed memory models. - Naling Zhang; Markus Kusano; Chao Wang 001 (PLDI, 2015)