Racer: TSO consistency via race detection.

Alberto Ros, Stefanos Kaxiras

Browse the full MICRO paper archive.