ODR: output-deterministic replay for multicore debugging.

Gautam Altekar, Ion Stoica

Browse the full SOSP paper archive.