CoreRacer: a practical memory race recorder for multicore x86 TSO processors.

Gilles Pokam, Cristiano Pereira, Shiliang Hu, Ali-Reza Adl-Tabatabai, Justin Emile Gottschlich, Jungwoo Ha, Youfeng Wu

Browse the full MICRO paper archive.