Curriculum Vitae

Education

Awards and Distinctions

Internships

Publications

  1. [WAX 2019] Approximate Checkers

    Abdulrahman Mahmoud, Paul Reckamp, Panqiu Tang, Christopher W. Fletcher, Sarita V. Adve. 2019. "Approximate Checkers," 2019 Workshop on Approximate Computing Across the Stack (WAX), Phoenix, Arizona 2017.

  2. [ASPLOS 2019] Minotaur: Adapting Software Testing Techniques for Hardware Errors

    Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, and Sarita Adve. 2019. Minotaur: Adapting Software Testing Techniques for Hardware Errors. In 2019 Architecture Support for Programming Languages and Operating Systems (ASPLOS 19), April 13-17, 2019, Providence, Rhode Island, USA. ACM, New York, NY, USA, 17 pages. https://doi.org/10.1145/3297858.3304050

  3. [WACI 2019] VR Swarms: Enabling Shared Virtual Experiences

    Muhammad Huzaifa and Abdulrahman Mahmoud. 2019. "VR Swarms: Enabling Shared Virtual Experiences," 2019 Workshop on Wild and Crazy Ideas (WACI), Providence, Rhode Island, 2019.

  4. [SC 2018] Optimizing Software-Directed Instruction Replication for GPU Error Detection

    Abdulrahman Mahmoud, Siva Kumar Sastry Hari, Michael Sullivan, Timothy Tsai, and Stephen W. Keckler. 2018. "Optimizing Software-Directed Instruction Replication for GPU Error Detection," 2018 The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC), Dallas, Texas, USA, 2018.

  5. [MICRO 2016] Approxilyzer: Towards A Systematic Framework for Instruction-Level Approximate Computing and its Application to Hardware Resiliency

    Radha Venkatagiri, Abdulrahman Mahmoud, Siva Kumar Sastry Hari, and Sarita Adve. 2016. "Approxilyzer: Towards A Systematic Framework for Instruction-Level Approximate Computing and its Application to Hardware Resiliency," 2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), Taipei, 2016, pp. 1-14.

    Approxilyzer is open-sourced, available here!

  6. [WAX 2016] Towards More Precision in Approximate Computing

    Radha Venkatagiri, Abdulrahman Mahmoud, and Sarita Adve. 2016. "Towards More Precision in Approximate Computing," 2016 Workshop on Approximate Computing Across the Stack (WAX), Atlanta, Georgia, 2016.

  7. [ICNP 2012] Verification and Synthesis of Firewalls Using SAT and QBF

    Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, and Sanjai Narain. 2012. "Verification and Synthesis of Firewalls Using Sat and QBF," 2012 20th IEEE International Conference on Network Protocols (ICNP), Austin, TX, 2012, pp. 1-6.

Talks

Teaching

Activities and Memberships

Skills