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 ASPLOS