Curriculum Vitae

Education

Awards and Distinctions

Internships

Publications

  1. [TACO 2020] Inter-Kernel Reuse-aware Thread Block Scheduling

    Muhammad Huzaifa, Johnathan Alsop, Abdulrahman Mahmoud, Giordano Salvador, Matthew D. Sinclair, and Sarita V. Adve. 2020. Inter-kernel Reuse-aware Thread Block Scheduling. ACM Transactions on Architecture and Code Optimization (TACO). Virtual Event, 2020.

  2. [DSML 2020] PyTorchFI: A Runtime Perturbation Tool for DNNs

    Abdulrahman Mahmoud, Neeraj Aggarwal, Alex Nobbe, Jose Rodrigo Sanchez Vicarte, Sarita V. Adve, Christopher W. Fletcher, Iuri Frosio, Siva Kumar Sastry Hari. 2020. "PyTorchFI: A Runtime Perturbation Tool for DNNs," IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, 2020, presented at the Workshop on Dependable and Secure Machine Learning (DSML), Valencia, Spain 2020.

    PyTorchFI is open-sourced, available here!

  3. [SARA 2020] Feature Map Vulnerability Evaluation in CNNs

    Abdulrahman Mahmoud, Siva Kumar Sastry Hari, Christopher W. Fletcher, Sarita V. Adve, Charbel Sakr, Naresh Shanbhag, Pavlo Molchanov, Michael B. Sullivan, Timothy Tsai, Stephen W. Keckler. 2020. "Feature Map Vulnerability Evaluation in CNNs," 2020 Workshop on Secure and Resilient Autonomy (SARA), Austin, Texas 2020.

    Extended version

  4. [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 2019.

  5. [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

  6. [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.

  7. [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.

  8. [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!

  9. [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.

  10. [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