An efficient record-replay mechanism for shared memory programs | IEEE Conference Publication | IEEE Xplore