CoreDet: A compiler and runtime system for deterministic multithreaded execution (2010)

by T Bergan, O Anderson, J Devietti, L Ceze, D Grossman
Venue:in 15th Conference on Architectural Support for Programming Languages and Operating Systems