Joseph Devietti Brandon Lucia Luis Ceze Mark Oskin DMP: deterministic shared memory multiprocessing. 85-96 2009 ASPLOS http://doi.acm.org/10.1145/1508244.1508255 conf/asplos/2009 db/conf/asplos/asplos2009.html#DeviettiLCO09