Travelled to:2 × USA
Collaborated with:C.Wang A.Gupta D.Lee S.Narayanasamy Z.Yang
Talks about:systemat (1) coverag (1) concurr (1) analysi (1) symbol (1) offlin (1) total (1) store (1) order (1) infer (1)
Person: Mahmoud Said
DBLP: Said:Mahmoud
Contributed to:
2011
2011Wrote 2 papers:
- HPCA-2011-LeeSNY #analysis #order
- Offline symbolic analysis to infer Total Store Order (DL, MS, SN, ZY), pp. 357–358.
- ICSE-2011-WangSG #concurrent #testing
- Coverage guided systematic concurrency testing (CW, MS, AG), pp. 221–230.