I am an assistant professor in the department of computer science at North Dakota State University.
Office: QBB 258 B8
1320 Albrecht Boulevard
- Spring 2019: CSCI 374 - Computer Organization and Architecture
- Spring 2019: CSCI 366 - Database Systems
Designing Robot Receptionist for Overcoming Poor Infrastructure, Low Literacy and Low Rate of Female Interaction.
Mohsen Ali: Talha Rehmani, Sabur Butt, Inam-ur-Rehman Baig, Muhammad Zubair Malik HRI 2018.
Search Based Code Generation for Machine Learning Programs.
MZ Malik, M Nawaz, N Mustafa, JH Siddiqui CoRR abs/1801.09373 (2018)
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 ICTD 2017.
2013 & older
Repair abstractions for more efficient data structure repair (2013).
Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid International Conference on Runtime Verification.
Dynamic shape analysis using spectral graph properties (2012).
Muhammad Zubair Malik, Sarfraz Khurshid ICST.
Dynamic shape analysis of program heap using graph spectra (nier track) (2011).
Muhammad Zubair Malik Proceedings of the 33rd International Conference on Software Engineering.
Specification-based program repair using SAT (2011).
Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Constraint-based program debugging using data structure repair (2011).
Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid ICST.
A case for automated debugging using data structure repair (2009).
Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering.
Deryaft: A tool for generating representation invariants of structurally complex data (2008).
Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid Proceedings of the 30th international conference on Software engineering.
Generating representation invariants of structurally complex data (2007).
Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Design of Deryaft: a novel framework for generating representation invariants of structurally complex data (2007).
Muhammad Zubair Malik UT Electronic Thesis and Dissertations.
An automated approach for writing Alloy specifications using instances (2006).
Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.
Awards & honors
- Best paper award nominee at the International Conference of Software Testing (2012)
- David Bruton Jr. Graduate School Fellowship by University of Texas at Austin (2008)
- Fulbright Scholarship from US Department of State (2005)
- Silver medal for outsatnding thesis, National University of Computer and Emerging Sciences (2003)
- Higher Education Comission of Pakistan PhD Merit Scholarship (Ranked 4th in Pakistan) (2002)
- Punjab Information Technology Board Outstanding Talent Scholarship (2001)