| 2026 | ICST | LLM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software. | Tasmim Rashid, Muhammad Zubair Malik |
| 2023 | FIE | Improving Delivery of UML Class Diagrams Concepts in Computer Science Education Through Collaborative Learning. | Rupinder Kaur, Muhammad Zubair Malik, Maninder Singh |
| 2022 | GECCO | Fair feature subset selection using multiobjective genetic algorithm. | Ayaz Ur Rehman, Anas Nadeem, Muhammad Zubair Malik |
| 2022 | ICSE | Case for Microservices Orchestration Using Workflow Engines. | Anas Nadeem, Muhammad Zubair Malik |
| 2021 | ISSRE | Automatic Issue Classifier: A Transfer Learning Framework for Classifying Issue Reports. | Anas Nadeem, Muhammad Usman Sarwar, Muhammad Zubair Malik |
| 2020 | ISSRE | Multi-label Classification of Commit Messages using Transfer Learning. | Muhammad Usman Sarwar, Sarim Zafar, Mohamed Wiem Mkaouer, Gursimran Singh Walia, Muhammad Zubair Malik |
| 2019 | ESEM | Towards Standardizing and Improving Classification of Bug-Fix Commits. | Sarim Zafar, Muhammad Zubair Malik, Gursimran Singh Walia |
| 2018 | HRI | Designing Robot Receptionist for Overcoming Poor Infrastructure, Low Literacy and Low Rate of Female Interaction. | Talha Rehmani, Sabur Butt, Inam-ur-Rehman Baig, Muhammad Zubair Malik, Mohsen Ali |
| 2017 | ICTD | A Study of Static Analysis Tools to Detect Vulnerabilities of Branchless Banking Applications in Developing Countries. | Fahad Ibrar, Hamza Saleem, Sam Castle, Muhammad Zubair Malik |
| 2013 | RV | Repair Abstractions for More Efficient Data Structure Repair. | Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid |
| 2012 | ICST | Dynamic Shape Analysis Using Spectral Graph Properties. | Muhammad Zubair Malik, Sarfraz Khurshid |
| 2011 | ICSE | Dynamic shape analysis of program heap using graph spectra. | Muhammad Zubair Malik |
| 2011 | ICST | Constraint-Based Program Debugging Using Data Structure Repair. | Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2011 | TACAS | Specification-Based Program Repair Using SAT. | Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid |
| 2008 | ICSE | Deryaft: a tool for generating representation invariants of structurally complex data. | Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid |
| 2007 | TACAS | Generating Representation Invariants of Structurally Complex Data. | Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid |
| 2006 | ISoLA | An Automated Approach for Writing Alloy Specifications Using Instances. | Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova |