DetLock: Portable and Efficient Deterministic Execution for Shared Memory Multicore Systems | IEEE Conference Publication | IEEE Xplore