Dynamic partial order reduction for relaxed memory models.

Naling Zhang, Markus Kusano, Chao Wang

Browse the full PLDI paper archive.