Offline symbolic analysis for multi-processor execution replay. - Dongyoon Lee; Mahmoud Said; Satish Narayanasamy; Zijiang Yang 006; Cristiano Pereira (MICRO, 2009)

Offline symbolic analysis to infer Total Store Order. - Dongyoon Lee; Mahmoud Said; Satish Narayanasamy; Zijiang Yang 006 (HPCA, 2011)

Coverage guided systematic concurrency testing. - Chao Wang 001; Mahmoud Said; Aarti Gupta (ICSE, 2011)

Generating Data Race Witnesses by an SMT-Based Analysis. - Mahmoud Said; Chao Wang 001; Zijiang Yang 006; Karem A. Sakallah (NASA Formal Methods, 2011)