Junaid Haroon Siddiqui
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2009–2023
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | Mobiquitous | Shepard: Dynamic Placement of Microservices in the Edge-Cloud Continuum. | Farhan Asghar, Tehreem Fatima, Junaid Haroon Siddiqui, Naveed Anwar Bhatti, Muhammad Hamad Alizai |
| 2021 | EWSN | Discovering the Hidden Anomalies of Intermittent Computing. | Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, Junaid Haroon Siddiqui |
| 2020 | EWSN | Intermittent Computing with Dynamic Voltage and Frequency Scaling. | Saad Ahmed, Qurat ul Ain, Junaid Haroon Siddiqui, Luca Mottola, Muhammad Hamad Alizai |
| 2020 | SENSYS | Battery-less zero-maintenance embedded sensing at the mithrum 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 |
| 2019 | SENSYS | Intermittent asynchronous peripheral operations. | Adriano Branco, Luca Mottola, Muhammad Hamad Alizai, Junaid Haroon Siddiqui |
| 2018 | ICSE | Efficiently finding minimal failing input in MapReduce programs. | Muhammad Sohaib Ayub, Junaid Haroon Siddiqui |
| 2018 | ICSE | Efficient iterative deepening for bounded exhaustive generation of complex structures. | Affan Rauf, Muhammad Nawaz, Junaid Haroon Siddiqui |
| 2017 | ISSRE | Experience Report: Verifying MPI Java Programs Using Software Model Checking. | Muhammad Sohaib Ayub, Waqas ur Rehman, Junaid Haroon Siddiqui |
| 2016 | FIT | Cross Platform Bug Correlation Using Stack Traces. | Maryam Abdul Ghafoor, Junaid Haroon Siddiqui |
| 2016 | ICST | Effective Partial Order Reduction in Model Checking Database Applications. | Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui |
| 2016 | PPoPP | Verification of MPI Java programs using software model checking. | Waqas ur Rehman, Muhammad Sohaib Ayub, Junaid Haroon Siddiqui |
| 2016 | SENSYS | Incremental Checkpointing for Interruptible Computations: Poster Abstract. | Saad Ahmed, Hassan Ali Khan, Junaid Haroon Siddiqui, J gila Bitsch, Muhammad Hamad Alizai |
| 2012 | ICST | Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. | Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid |
| 2012 | OOPSLA | Scaling symbolic execution using ranged analysis. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2012 | SAC | Staged symbolic execution. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2011 | ICFEM | Symbolic Execution of Alloy Models. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2011 | ICST | Constraint-Based Program Debugging Using Data Structure Repair. | Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2009 | ICFEM | An Empirical Study of Structural Constraint Solving Techniques. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2009 | ICST | PKorat: Parallel Generation of Structurally Complex Test Inputs. | Junaid Haroon Siddiqui, Sarfraz Khurshid |