Mahmoud Said

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah
Generating Data Race Witnesses by an SMT-Based Analysis. NASA Formal Methods (2011)
Chao Wang, Mahmoud Said, Aarti Gupta
Coverage guided systematic concurrency testing. ICSE (2011)
Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang
Offline symbolic analysis to infer Total Store Order. HPCA (2011)
Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira
Offline symbolic analysis for multi-processor execution replay. MICRO (2009)