Mahmoud Said
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | HPCA | Offline symbolic analysis to infer Total Store Order. | Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang |
| 2011 | ICSE | Coverage guided systematic concurrency testing. | Chao Wang, Mahmoud Said, Aarti Gupta |
| 2009 | MICRO | Offline symbolic analysis for multi-processor execution replay. | Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira |