Gilles Pokam Cristiano Pereira Shiliang Hu Ali-Reza Adl-Tabatabai Justin Emile Gottschlich Jungwoo Ha Youfeng Wu CoreRacer: a practical memory race recorder for multicore x86 TSO processors. 216-225 2011 MICRO http://doi.acm.org/10.1145/2155620.2155646 conf/micro/2011 db/conf/micro/micro2011.html#PokamPHAGHW11