Angshuman Parashar Anand Sivasubramaniam Sudhanva Gurumurthi SlicK: slice-based locality exploitation for efficient redundant multithreading. 95-105 2006 conf/asplos/2006 ASPLOS http://doi.acm.org/10.1145/1168857.1168870 db/conf/asplos/asplos2006.html#ParasharSG06