Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira. Offline symbolic analysis for multi-processor execution replay. In David H. Albonesi, Margaret Martonosi, David I. August, José MartÃnez, editors, 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), December 12-16, 2009, New York, New York, USA. pages 564-575, ACM, 2009. [doi]
Abstract is missing.