![M Zubair's picture](www/Malik150.jpg)
Email: zubair.malik@ndsu.edu
Office: QBB 258 B8
1320 Albrecht Boulevard
Fargo
ND 58102
Classes
- Spring 2019: CSCI 374 - Computer Organization and Architecture
- Spring 2019: CSCI 366 - Database Systems
News
- [PLACEHOLDER]
Papers
2018
-
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)
2017
-
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.
2014
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)