SynFull: Synthetic traffic models capturing cache coherent behaviour. - Mario Badr; Natalie D. Enright Jerger (ISCA, 2014)

Load Value Approximation. - Joshua San Miguel; Mario Badr; Natalie D. Enright Jerger (MICRO, 2014)

Abstract Representation of Shared Data for Heterogeneous Computing. - Tushar Kumar; Aravind Natarajan; Wenjia Ruan; Mario Badr; Darío Suárez Gracia; Calin Cascaval (LCPC, 2017)

The EH Model: Early Design Space Exploration of Intermittent Processor Architectures. - Joshua San Miguel; Karthik Ganesan 002; Mario Badr; Chunqiu Xia; Rose Li; Hsuan Hsiao; Natalie D. Enright Jerger (MICRO, 2018)

Fast and Accurate Performance Analysis of Synchronization. - Mario Badr; Natalie D. Enright Jerger (PMAM@PPoPP, 2018)

The EH Model: Analytical Exploration of Energy-Harvesting Architectures. - Joshua San Miguel; Karthik Ganesan 002; Mario Badr; Natalie D. Enright Jerger (IEEE Comput. Archit. Lett., 2018)

A high-level model for exploring multi-core architectures. - Mario Badr; Natalie D. Enright Jerger (Parallel Comput., 2018)

Mocktails: Capturing the Memory Behaviour of Proprietary Mobile Architectures. - Mario Badr; Carlo Delconte; Isak Edo; Radhika Jagtap; Matteo Andreozzi; Natalie D. Enright Jerger (ISCA, 2020)

Enhancing MIPS Assembly Language Education with Saturn. - Steve Engels; Mario Badr; Taylor Whatley (ITiCSE (2), 2025)