Verification and synthesis of firewalls using SAT and QBF. - Shuyuan Zhang; Abdulrahman Mahmoud; Sharad Malik; Sanjai Narain (ICNP, 2012)

Approxilyzer: Towards a systematic framework for instruction-level approximate computing and its application to hardware resiliency. - Radha Venkatagiri; Abdulrahman Mahmoud; Siva Kumar Sastry Hari; Sarita V. Adve (MICRO, 2016)

Optimizing software-directed instruction replication for GPU error detection. - Abdulrahman Mahmoud; Siva Kumar Sastry Hari; Michael B. Sullivan 001; Timothy Tsai 002; Stephen W. Keckler (SC, 2018)

Minotaur: Adapting Software Testing Techniques for Hardware Errors. - Abdulrahman Mahmoud; Radha Venkatagiri; Khalique Ahmed; Sasa Misailovic; Darko Marinov; Christopher W. Fletcher; Sarita V. Adve (ASPLOS, 2019)

gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis. - Radha Venkatagiri; Khalique Ahmed; Abdulrahman Mahmoud; Sasa Misailovic; Darko Marinov; Christopher W. Fletcher; Sarita V. Adve (DSN, 2019)

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 (DSN Workshops, 2020)

HarDNN: Feature Map Vulnerability Evaluation in CNNs. - Abdulrahman Mahmoud; Siva Kumar Sastry Hari; Christopher W. Fletcher; Sarita V. Adve; Charbel Sakr; Naresh R. Shanbhag; Pavlo Molchanov 001; Michael B. Sullivan 001; Timothy Tsai 002; Stephen W. Keckler (CoRR, 2020)

Inter-kernel Reuse-aware Thread Block Scheduling. - Muhammad Huzaifa; Johnathan Alsop; Abdulrahman Mahmoud; Giordano Salvador; Matthew D. Sinclair; Sarita V. Adve (ACM Trans. Archit. Code Optim., 2020)

Towards scalable and specialized application error analysis - Abdulrahman Mahmoud (2020)

Optimizing Selective Protection for CNN Resilience. - Abdulrahman Mahmoud; Siva Kumar Sastry Hari; Christopher W. Fletcher; Sarita V. Adve; Charbel Sakr; Naresh R. Shanbhag; Pavlo Molchanov 001; Michael B. Sullivan 001; Timothy Tsai 002; Stephen W. Keckler (ISSRE, 2021)

Mentoring Opportunities in Computer Architecture: Analyzing the Past to Develop the Future. - Elba Garza; Gururaj Saileshwar; Udit Gupta; Tianyi Liu; Abdulrahman Mahmoud; Saugata Ghose; Joel S. Emer (WCAE, 2021)

FRL-FI: Transient Fault Analysis for Federated Reinforcement Learning-Based Navigation Systems. - Zishen Wan; Aqeel Anwar; Abdulrahman Mahmoud; Tianyu Jia; Yu-Shun Hsiao; Vijay Janapa Reddi; Arijit Raychowdhury (DATE, 2022)

GoldenEye: A Platform for Evaluating Emerging Numerical Data Formats in DNN Accelerators. - Abdulrahman Mahmoud; Thierry Tambe; Tarek Aloui; David Brooks 001; Gu-Yeon Wei (DSN, 2022)

MAVFI: An End-to-End Fault Analysis Framework with Anomaly Detection and Recovery for Micro Aerial Vehicles. - Yu-Shun Hsiao; Zishen Wan; Tianyu Jia; Radhika Ghosal; Abdulrahman Mahmoud; Arijit Raychowdhury; David Brooks 001; Gu-Yeon Wei; Vijay Janapa Reddi (DATE, 2023)

ApproxCaliper: A Programmable Framework for Application-aware Neural Network Optimization. - Yifan Zhao 004; Hashim Sharif; Peter Pao-Huang; Vatsin Shah; Arun Narenthiran Sivakumar; Mateus Valverde Gasparino; Abdulrahman Mahmoud; Nathan Zhao; Sarita V. Adve; Girish Chowdhary 001; Sasa Misailovic; Vikram S. Adve (MLSys, 2023)

Hardware Resilience Properties of Text-Guided Image Classifiers. - Syed Talal Wasim; Kabila Haile Soboka; Abdulrahman Mahmoud; Salman H. Khan 001; David Brooks 001; Gu-Yeon Wei (NeurIPS, 2023)

Guess & Sketch: Language Model Guided Transpilation. - Celine Lee; Abdulrahman Mahmoud; Michal Kurek; Simone Campanoni; David Brooks 001; Stephen Chong; Gu-Yeon Wei; Alexander M. Rush (ICLR, 2024)

VelociTI: An Architecture-level Performance Modeling Framework for Trapped Ion Quantum Computers. - Alexander Hankin; Abdulrahman Mahmoud; Mark Hempstead; David Brooks 001; Gu-Yeon Wei (IISWC, 2024)

From CISC to RISC: language-model guided assembly transpilation. - Ahmed Heakl; Chaimaa Abi; Rania Hossam; Abdulrahman Mahmoud (CoRR, 2024)

Silent Data Corruption in Robot Operating System: A Case for End-to-End System-Level Fault Analysis Using Autonomous UAVs. - Yu-Shun Hsiao; Zishen Wan; Tianyu Jia; Radhika Ghosal; Abdulrahman Mahmoud; Arijit Raychowdhury; David Brooks 001; Gu-Yeon Wei; Vijay Janapa Reddi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

PFASware: Quantifying the Environmental Impact of Per- and Polyfluoroalkyl Substances (PFAS) in Computing Systems. - Mariam Elgamal; Abdulrahman Mahmoud; Gu-Yeon Wei; David Brooks 001; Gage Hills (DATE, 2025)

Modeling PFAS in Semiconductor Manufacturing to Quantify Trade-offs in Energy Efficiency and Environmental Impact of Computing Systems. - Mariam Elgamal; Abdulrahman Mahmoud; Gu-Yeon Wei; David Brooks 001; Gage Hills (CoRR, 2025)

CASS: Nvidia to AMD Transpilation with Data, Models, and Benchmark. - Ahmed Heakl; Sarim Hashmi; Gustavo Bertolo Stahl; Seung Hun Eddie Han; Salman H. Khan 001; Abdulrahman Mahmoud (CoRR, 2025)

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees. - Ahmed Heakl; Sarim Hashmi; Chaimaa Abi; Celine Lee; Abdulrahman Mahmoud (CoRR, 2025)