Junaid Haroon Siddiqui

36 papers A* 4A 6B 6C 2Misc 5Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
Shepard: Dynamic Placement of Microservices in the Edge-Cloud Continuum.
MobiQuitous (2)
Farhan Asghar, Tehreem Fatima, Junaid Haroon Siddiqui, Naveed Anwar Bhatti, Muhammad Hamad Alizai
2022 J jnl
Trimmer: An Automated System for Configuration-Based Software Debloating.
IEEE Trans. Software Eng.
Aatira Anum Ahmad, Abdul Rafae Noor, Hashim Sharif, Usama Hameed, Shoaib Asif, Mubashir Anwar, Ashish Gehani, Fareed Zaffar, Junaid Haroon Siddiqui
2021 B conf
Discovering the Hidden Anomalies of Intermittent Computing.
EWSN
Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, Junaid Haroon Siddiqui
2020 Misc conf
Battery-less zero-maintenance embedded sensing at the mithræum of circus maximus.
SenSys
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
2020 J jnl
Demystifying Energy Consumption Dynamics in Transiently powered Computers.
ACM Trans. Embed. Comput. Syst.
Saad Ahmed, Muhammad Nawaz, Abu Bakar, Naveed Anwar Bhatti, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, Luca Mottola
2020 J jnl
Extending symbolic execution for automated testing of stored procedures.
Softw. Qual. J.
Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui
2020 J jnl
Fast and Energy-Efficient State Checkpointing for Intermittent Computing.
ACM Trans. Embed. Comput. Syst.
Saad Ahmed, Naveed Anwar Bhatti, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, Luca Mottola
2020 B conf
Intermittent Computing with Dynamic Voltage and Frequency Scaling.
EWSN
Saad Ahmed, Qurat Ul Ain, Junaid Haroon Siddiqui, Luca Mottola, Muhammad Hamad Alizai
2019 J jnl
Effective State Encoding for Breadth-First Generation of Complex Structures.
IEEE Trans. Reliab.
Affan Rauf, Muhammad Nawaz, Junaid Haroon Siddiqui
2019 B conf
Efficient intermittent computing with differential checkpointing.
LCTES
Saad Ahmed, Naveed Anwar Bhatti, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, Luca Mottola
2019 Misc conf
Intermittent asynchronous peripheral operations.
SenSys
Adriano Branco, Luca Mottola, Muhammad Hamad Alizai, Junaid Haroon Siddiqui
2019 B conf
On intermittence bugs in the battery-less internet of things (WIP paper).
LCTES
Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, Junaid Haroon Siddiqui
2019 B conf
The betrayal of constant power × time: finding the missing Joules of transiently-powered computers.
LCTES
Saad Ahmed, Abu Bakar, Naveed Anwar Bhatti, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, Luca Mottola
2018 J jnl
Chapter Two - Advances in Software Model Checking.
Adv. Comput.
Junaid Haroon Siddiqui, Affan Rauf, Maryam Abdul Ghafoor
2018 — conf
Efficient iterative deepening for bounded exhaustive generation of complex structures.
ICSE (Companion Volume)
Affan Rauf, Muhammad Nawaz, Junaid Haroon Siddiqui
2018 — conf
Efficiently finding minimal failing input in MapReduce programs.
ICSE (Companion Volume)
Muhammad Sohaib Ayub, Junaid Haroon Siddiqui
2018 J jnl
Search Based Code Generation for Machine Learning Programs.
CoRR
Muhammad Zubair Malik, Muhammad Nawaz, Nimrah Mustafa, Junaid Haroon Siddiqui
2018 — conf
Towards smaller checkpoints for better intermittent computing: poster abstract.
IPSN
Saad Ahmed, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, Naveed Anwar Bhatti, Luca Mottola
2017 A conf
Experience Report: Verifying MPI Java Programs Using Software Model Checking.
ISSRE
Muhammad Sohaib Ayub, Waqas ur Rehman, Junaid Haroon Siddiqui
2016 Misc conf
Cross Platform Bug Correlation Using Stack Traces.
FIT
Maryam Abdul Ghafoor, Junaid Haroon Siddiqui
2016 A conf
Effective Partial Order Reduction in Model Checking Database Applications.
ICST
Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui
2016 Misc conf
Incremental Checkpointing for Interruptible Computations: Poster Abstract.
SenSys
Saad Ahmed, Hassan Ali Khan, Junaid Haroon Siddiqui, Jó Ágila Bitsch, Muhammad Hamad Alizai
2016 A* conf
Symbolic execution of stored procedures in database management systems.
ASE
Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui
2016 B conf
Verification of MPI Java programs using software model checking.
PPoPP
Waqas ur Rehman, Muhammad Sohaib Ayub, Junaid Haroon Siddiqui
2014 A* conf
Incremental symbolic execution for automated test suite maintenance.
ASE
Sarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui
2013 A* conf
Ranger: Parallel analysis of alloy models by range partitioning.
ASE
Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias
2013 J jnl
Scaling symbolic execution using staged analysis.
Innov. Syst. Softw. Eng.
Junaid Haroon Siddiqui, Sarfraz Khurshid
2012 A conf
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving.
ICST
Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
2012 J jnl
Ranged Model Checking.
ACM SIGSOFT Softw. Eng. Notes
Diego Funes, Junaid Haroon Siddiqui, Sarfraz Khurshid
2012 A conf
Scaling symbolic execution using ranged analysis.
OOPSLA
Junaid Haroon Siddiqui, Sarfraz Khurshid
2012 Misc conf
Staged symbolic execution.
SAC
Junaid Haroon Siddiqui, Sarfraz Khurshid
2011 A conf
Constraint-Based Program Debugging Using Data Structure Repair.
ICST
Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid
2011 C conf
Symbolic Execution of Alloy Models.
ICFEM
Junaid Haroon Siddiqui, Sarfraz Khurshid
2009 C conf
An Empirical Study of Structural Constraint Solving Techniques.
ICFEM
Junaid Haroon Siddiqui, Sarfraz Khurshid
2009 A* conf
Optimizing a Structural Constraint Solver for Efficient Software Checking.
ASE
Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
2009 A conf
PKorat: Parallel Generation of Structurally Complex Test Inputs.
ICST
Junaid Haroon Siddiqui, Sarfraz Khurshid