CORD: cost-effective (and nearly overhead-free) order-recording and data race detection | IEEE Conference Publication | IEEE Xplore