Vijay Nagarajan Rajiv Gupta Support for symmetric shadow memory in multiprocessors. 5 2008 PADTAD http://doi.acm.org/10.1145/1390841.1390846 conf/issta/2008p db/conf/issta/padtad2008.html#NagarajanG08