A “Flight Data Recorder” for Enabling Full-system Multiprocessor Deterministic Replay Min Xu, Rastislav Bodik, Mark D. Hill .
Race Detection for Event-driven Mobile Applications
Accurate and Efficient Filtering for the Intel Thread Checker Race Detector