How effective are existing Java API specifications for finding bugs during runtime verification? - Owolabi Legunsen; Nader Al Awar; Xinyue Xu; Wajih Ul Hassan; Grigore Rosu; Darko Marinov (Autom. Softw. Eng., 2019)

A performance portability framework for Python. - Nader Al Awar; Steven Zhu; George Biros; Milos Gligoric 001 (ICS, 2021)

Dynamic Generation of Python Bindings for HPC Kernels. - Steven Zhu; Nader Al Awar; Mattan Erez; Milos Gligoric 001 (ASE, 2021)

The Kokkos EcoSystem: Comprehensive Performance Portability for High Performance Computing. - Christian Trott; Luc Berger-Vergiat; David Poliakoff; Sivasankaran Rajamanickam; Damien Lebrun-Grandié; Jonathan R. Madsen; Nader Al Awar; Milos Gligoric 001; Galen M. Shipman; Geoff Womeldorff (Comput. Sci. Eng., 2021)

Programming and execution models for parallel bounded exhaustive testing. - Nader Al Awar; Kush Jain; Christopher J. Rossbach; Milos Gligoric 001 (Proc. ACM Program. Lang., 2021)

PyKokkos: Performance Portable Kernels in Python. - Nader Al Awar; Neil Mehta; Steven Zhu; George Biros; Milos Gligoric 001 (ICSE-Companion, 2022)

A Multi-GPU Python Solver for Low-Temperature Non-Equilibrium Plasmas. - James Almgren-Bell; Nader Al Awar; Dilip S. Geethakrishnan; Milos Gligoric 001; George Biros (SBAC-PAD, 2022)

Speeding up the Local C++ Development Cycle with Header Substitution. - Nader Al Awar; Zijian Yi; George Biros; Milos Gligoric 001 (CGO, 2025)

Dynamically Fusing Python HPC Kernels. - Nader Al Awar; Muhammad Hannan Naeem; James Almgren-Bell; George Biros; Milos Gligoric 001 (Proc. ACM Softw. Eng., 2025)