QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.

Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj

Browse the full CAV paper archive.