Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs | IEEE Conference Publication | IEEE Xplore