@inproceedings{qb-or-not-qb,
author = {Ganesh Gopalakrishnan and Yue Yang and Hemanthkumar Sivaraj},
title  = {{QB} or not {QB}: An Efficient Execution Verification Tool for
          Memory Orderings},
booktitle   = {CAV (Computer Aided Verification)},
pages = {401-413},
note = {LNCS 3113},
year = 2004}