Adam McLaughlin, Duane Merrill, Michael Garland, David A. Bader. Parallel Methods for Verifying the Consistency of Weakly-Ordered Architectures. In 2015 International Conference on Parallel Architecture and Compilation, PACT 2015, San Francisco, CA, USA, October 18-21, 2015. pages 51-62, IEEE, 2015. [doi]
Abstract is missing.