Junaid Haroon Siddiqui

According to our database, Junaid Haroon Siddiqui authored at least 35 papers between 2009 and 2022.

Collaborative distances:

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

2022

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

2021

Discovering the Hidden Anomalies of Intermittent Computing.

Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, Junaid Haroon Siddiqui

Proceedings of the EWSN '21: Proceedings of the 2021 International Conference on Embedded Wireless Systems and Networks, 2021

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

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

Extending symbolic execution for automated testing of stored procedures.

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui

Softw. Qual. J., 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

Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

Intermittent Computing with Dynamic Voltage and Frequency Scaling.

Saad Ahmed, Qurat ul Ain, Junaid Haroon Siddiqui, Luca Mottola, Muhammad Hamad Alizai

Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, 2020

2019

Effective State Encoding for Breadth-First Generation of Complex Structures.

Affan Rauf, Muhammad Nawaz, Junaid Haroon Siddiqui

IEEE Trans. Reliab., 2019

Intermittent asynchronous peripheral operations.

Adriano Branco, Luca Mottola, Muhammad Hamad Alizai, Junaid Haroon Siddiqui

Proceedings of the 17th Conference on Embedded Networked Sensor Systems, 2019

On intermittence bugs in the battery-less internet of things (WIP paper).

Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, Junaid Haroon Siddiqui

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 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

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

Efficient intermittent computing with differential checkpointing.

Saad Ahmed, Naveed Anwar Bhatti, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, Luca Mottola

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

2018

Search Based Code Generation for Machine Learning Programs.

Muhammad Zubair Malik, Muhammad Nawaz, Nimrah Mustafa, Junaid Haroon Siddiqui

CoRR, 2018

Chapter Two - Advances in Software Model Checking.

Junaid Haroon Siddiqui, Affan Rauf, Maryam Abdul Ghafoor

Adv. Comput., 2018

Towards smaller checkpoints for better intermittent computing: poster abstract.

Saad Ahmed, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, Naveed Anwar Bhatti, Luca Mottola

Proceedings of the 17th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2018

Efficient iterative deepening for bounded exhaustive generation of complex structures.

Affan Rauf, Muhammad Nawaz, Junaid Haroon Siddiqui

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Efficiently finding minimal failing input in MapReduce programs.

Muhammad Sohaib Ayub, Junaid Haroon Siddiqui

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Experience Report: Verifying MPI Java Programs Using Software Model Checking.

Muhammad Sohaib Ayub, Waqas ur Rehman, Junaid Haroon Siddiqui

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2016

Incremental Checkpointing for Interruptible Computations: Poster Abstract.

Saad Ahmed, Hassan Ali Khan, Junaid Haroon Siddiqui, Jó Ágila Bitsch, Muhammad Hamad Alizai

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

Verification of MPI Java programs using software model checking.

Waqas ur Rehman, Muhammad Sohaib Ayub, Junaid Haroon Siddiqui

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Symbolic execution of stored procedures in database management systems.

Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Effective Partial Order Reduction in Model Checking Database Applications.

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Cross Platform Bug Correlation Using Stack Traces.

Maryam Abdul Ghafoor, Junaid Haroon Siddiqui

Proceedings of the International Conference on Frontiers of Information Technology, 2016

2014

Incremental symbolic execution for automated test suite maintenance.

Sarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

Scaling symbolic execution using staged analysis.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Innov. Syst. Softw. Eng., 2013

Ranger: Parallel analysis of alloy models by range partitioning.

Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Ranged Model Checking.

Diego Funes, Junaid Haroon Siddiqui, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2012

Staged symbolic execution.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the ACM Symposium on Applied Computing, 2012

Scaling symbolic execution using ranged analysis.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving.

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Constraint-Based Program Debugging Using Data Structure Repair.

Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Symbolic Execution of Alloy Models.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the Formal Methods and Software Engineering, 2011

2009

Optimizing a Structural Constraint Solver for Efficient Software Checking.

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid

Proceedings of the ASE 2009, 2009

PKorat: Parallel Generation of Structurally Complex Test Inputs.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

An Empirical Study of Structural Constraint Solving Techniques.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the Formal Methods and Software Engineering, 2009