Racer: TSO consistency via race detection | Publicación