Immad Naseer

According to our database, Immad Naseer authored at least 3 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Nekara: Generalized Concurrency Testing.

Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2019

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.

Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2008

Lightweight virtual machine support for AspectJ.

Ryan M. Golbeck, Samuel Davis, Immad Naseer, Igor Ostrovsky, Gregor Kiczales

Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008