An Empirical Study of Structural Constraint Solving Techniques. - Junaid Haroon Siddiqui; Sarfraz Khurshid (ICFEM, 2009)

PKorat: Parallel Generation of Structurally Complex Test Inputs. - Junaid Haroon Siddiqui; Sarfraz Khurshid (ICST, 2009)

Optimizing a Structural Constraint Solver for Efficient Software Checking. - Junaid Haroon Siddiqui; Darko Marinov; Sarfraz Khurshid (ASE, 2009)

Symbolic Execution of Alloy Models. - Junaid Haroon Siddiqui; Sarfraz Khurshid (ICFEM, 2011)

Constraint-Based Program Debugging Using Data Structure Repair. - Muhammad Zubair Malik; Junaid Haroon Siddiqui; Sarfraz Khurshid (ICST, 2011)

Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. - Junaid Haroon Siddiqui; Darko Marinov; Sarfraz Khurshid (ICST, 2012)

Scaling symbolic execution using ranged analysis. - Junaid Haroon Siddiqui; Sarfraz Khurshid (OOPSLA, 2012)

Staged symbolic execution. - Junaid Haroon Siddiqui; Sarfraz Khurshid (SAC, 2012)

Ranged Model Checking. - Diego Funes; Junaid Haroon Siddiqui; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2012)

Ranger: Parallel analysis of alloy models by range partitioning. - Nicolás Rosner; Junaid Haroon Siddiqui; Nazareno Aguirre; Sarfraz Khurshid; Marcelo F. Frias (ASE, 2013)

Scaling symbolic execution using staged analysis. - Junaid Haroon Siddiqui; Sarfraz Khurshid (Innov. Syst. Softw. Eng., 2013)

Incremental symbolic execution for automated test suite maintenance. - Sarmad Makhdoom; Muhammad Adeel Khan; Junaid Haroon Siddiqui (ASE, 2014)

Cross Platform Bug Correlation Using Stack Traces. - Maryam Abdul Ghafoor; Junaid Haroon Siddiqui (FIT, 2016)

Effective Partial Order Reduction in Model Checking Database Applications. - Maryam Abdul Ghafoor; Muhammad Suleman Mahmood; Junaid Haroon Siddiqui (ICST, 2016)

Symbolic execution of stored procedures in database management systems. - Muhammad Suleman Mahmood; Maryam Abdul Ghafoor; Junaid Haroon Siddiqui (ASE, 2016)

Verification of MPI Java programs using software model checking. - Waqas ur Rehman; Muhammad Sohaib Ayub; Junaid Haroon Siddiqui (PPoPP, 2016)

Incremental Checkpointing for Interruptible Computations: Poster Abstract. - Saad Ahmed; Hassan Ali Khan; Junaid Haroon Siddiqui; Jó Ágila Bitsch; Muhammad Hamad Alizai (SenSys, 2016)

Experience Report: Verifying MPI Java Programs Using Software Model Checking. - Muhammad Sohaib Ayub; Waqas ur Rehman; Junaid Haroon Siddiqui (ISSRE, 2017)

Efficiently finding minimal failing input in MapReduce programs. - Muhammad Sohaib Ayub; Junaid Haroon Siddiqui (ICSE (Companion Volume), 2018)

Efficient iterative deepening for bounded exhaustive generation of complex structures. - Affan Rauf; Muhammad Nawaz; Junaid Haroon Siddiqui (ICSE (Companion Volume), 2018)

Towards smaller checkpoints for better intermittent computing: poster abstract. - Saad Ahmed; Muhammad Hamad Alizai; Junaid Haroon Siddiqui; Naveed Anwar Bhatti; Luca Mottola (IPSN, 2018)

Chapter Two - Advances in Software Model Checking. - Junaid Haroon Siddiqui; Affan Rauf; Maryam Abdul Ghafoor (Adv. Comput., 2018)

Search Based Code Generation for Machine Learning Programs. - Muhammad Zubair Malik; Muhammad Nawaz; Nimrah Mustafa; Junaid Haroon Siddiqui (CoRR, 2018)

Efficient intermittent computing with differential checkpointing. - Saad Ahmed; Naveed Anwar Bhatti; Muhammad Hamad Alizai; Junaid Haroon Siddiqui; Luca Mottola (LCTES, 2019)

The betrayal of constant power × time: finding the missing Joules of transiently-powered computers. - Saad Ahmed; Abu Bakar; Naveed Anwar Bhatti; Muhammad Hamad Alizai; Junaid Haroon Siddiqui; Luca Mottola (LCTES, 2019)

On intermittence bugs in the battery-less internet of things (WIP paper). - Andrea Maioli; Luca Mottola; Muhammad Hamad Alizai; Junaid Haroon Siddiqui (LCTES, 2019)

Intermittent asynchronous peripheral operations. - Adriano Branco; Luca Mottola; Muhammad Hamad Alizai; Junaid Haroon Siddiqui (SenSys, 2019)

Effective State Encoding for Breadth-First Generation of Complex Structures. - Affan Rauf; Muhammad Nawaz; Junaid Haroon Siddiqui (IEEE Trans. Reliab., 2019)

Intermittent Computing with Dynamic Voltage and Frequency Scaling. - Saad Ahmed; Qurat ul Ain; Junaid Haroon Siddiqui; Luca Mottola; Muhammad Hamad Alizai (EWSN, 2020)

Battery-less zero-maintenance embedded sensing at the mithræum of circus maximus. - Mikhail Afanasov; Naveed Anwar Bhatti; Dennis Campagna; Giacomo Caslini; Fabio Massimo Centonze; Koustabh Dolui; Andrea Maioli; Erica Barone; Muhammad Hamad Alizai; Junaid Haroon Siddiqui; Luca Mottola (SenSys, 2020)

Extending symbolic execution for automated testing of stored procedures. - Maryam Abdul Ghafoor; Muhammad Suleman Mahmood; Junaid Haroon Siddiqui (Softw. Qual. J., 2020)

Fast and Energy-Efficient State Checkpointing for Intermittent Computing. - Saad Ahmed; Naveed Anwar Bhatti; Muhammad Hamad Alizai; Junaid Haroon Siddiqui; Luca Mottola (ACM Trans. Embed. Comput. Syst., 2020)

Demystifying Energy Consumption Dynamics in Transiently powered Computers. - Saad Ahmed; Muhammad Nawaz; Abu Bakar; Naveed Anwar Bhatti; Muhammad Hamad Alizai; Junaid Haroon Siddiqui; Luca Mottola (ACM Trans. Embed. Comput. Syst., 2020)

Discovering the Hidden Anomalies of Intermittent Computing. - Andrea Maioli; Luca Mottola; Muhammad Hamad Alizai; Junaid Haroon Siddiqui (EWSN, 2021)

Trimmer: An Automated System for Configuration-Based Software Debloating. - Aatira Anum Ahmad; Abdul Rafae Noor; Hashim Sharif; Usama Hameed; Shoaib Asif; Mubashir Anwar; Ashish Gehani; Fareed Zaffar; Junaid Haroon Siddiqui (IEEE Trans. Software Eng., 2022)

Shepard: Dynamic Placement of Microservices in the Edge-Cloud Continuum. - Farhan Asghar; Tehreem Fatima; Junaid Haroon Siddiqui; Naveed Anwar Bhatti; Muhammad Hamad Alizai (MobiQuitous (2), 2023)