Offline symbolic analysis for multi-processor execution replay.

Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira

Browse the full MICRO paper archive.