Mahmoud Said

According to our database, Mahmoud Said authored at least 4 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Generating Data Race Witnesses by an SMT-Based Analysis.

Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah

Proceedings of the NASA Formal Methods, 2011

Coverage guided systematic concurrency testing.

Chao Wang, Mahmoud Said, Aarti Gupta

Proceedings of the 33rd International Conference on Software Engineering, 2011

Offline symbolic analysis to infer Total Store Order.

Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang

Proceedings of the 17th International Conference on High-Performance Computer Architecture (HPCA-17 2011), 2011

2009

Offline symbolic analysis for multi-processor execution replay.

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

Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009