Gautam Altekar Ion Stoica ODR: output-deterministic replay for multicore debugging. 193-206 2009 SOSP http://doi.acm.org/10.1145/1629575.1629594 conf/sosp/2009 db/conf/sosp/sosp2009.html#AltekarS09