Lightweight virtual machine support for AspectJ. - Ryan M. Golbeck; Samuel Davis; Immad Naseer; Igor Ostrovsky; Gregor Kiczales (AOSD, 2008)

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. - Yuepeng Wang 001; Shuvendu K. Lahiri; Shuo Chen; Rong Pan; Isil Dillig; Cody Born; Immad Naseer; Kostas Ferles (VSTTE, 2019)

Nekara: Generalized Concurrency Testing. - Udit Agarwal; Pantazis Deligiannis; Cheng Huang; Kumseok Jung; Akash Lal; Immad Naseer; Matthew Parkinson; Arun Thangamani; Jyothi Vedurada; Yunpeng Xiao (ASE, 2021)