CoreDet: a compiler and runtime system for deterministic multithreaded execution.

Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman

Browse the full ASPLOS paper archive.