Publications

International journals

  1. Demystifying Energy Consumption Dynamics in Transiently-powered Computers
    S. Ahmed, M. Nawaz, A. Bakar, N. A. Bhatti, M. H. Alizai, J. H. Siddiqui, and L. Mottola
    To appear in ACM Transactions on Embedded Computing Systems
    Invited

  2. Fast and Energy-efficient State Checkpointing for Intermittent Computing
    S. Ahmed, N. Bhatti, H. Alizai, J. H. Siddiqui, and L. Mottola
    To appear in ACM Transactions on Embedded Computing Systems
    Invited

  3. Extending Symbolic Execution for Automated Testing of Stored Procedures
    M. A. Ghafoor, M. S. Mahmood and J. H. Siddiqui
    Software Quality Journal, 2019

  4. Effective state encoding for breadth-first generation of complex structures
    A. Rauf, M. Nawaz, and J. H. Siddiqui
    IEEE Transactions on Reliability; 68(3), 2019

  5. Scaling symbolic execution using staged analysisPDF
    J. H. Siddiqui and S. Khurshid
    Innovations in Systems and Software Engineering; 9(2), 2013
    Invited

Book chapters

  1. Advances in software model checking
    J. H. Siddiqui, A. Rauf, M. A. Ghafoor
    Advances in Computers Vol. 108, 2018
    Invited

Conferences and Workshops

  1. Intermittent Computing with Dynamic Voltage and Frequency Scaling
    S. Ahmed, Qurat ul Ain, J. H. Siddiqui, L. Mottola, and M. H. Alizai
    EWSN 2020, Lyon, France
    Best paper candidate

  2. Intermittent Asynchronous Peripheral Operations
    A. Branco, L. Mottola, M. H. Alizai, and J. H. Siddiqui
    SenSys 2019, New York, USA
    Best paper candidate

  3. Efficient intermittent computing with differential checkpointing
    S. Ahmed, N. A. Bhatti, M. H. Alizai, J. H. Siddiqui, and L. Mottola
    LCTES 2019, Phoenix, Arizona, USA

  4. The betrayal of constant Power x Time: Finding the missing joules of transiently-powered computers
    S. Ahmed, A. Bakar, N. A. Bhatti, M. H. Alizai, J. H. Siddiqui, and L. Mottola
    LCTES 2019, Phoenix, Arizona, USA

  5. WiP: On intermittence bugs in the battery-less Internet of Things
    A. Maioli, L. Mottola, M. H. Alizai, and J. H. Siddiqui
    LCTES 2019, Phoenix, Arizona, USA

  6. Poster: Efficiently finding minimal failing input in MapReduce programs
    M. S. Ayub and J. H. Siddiqui
    ICSE 2018, Gothenburg, Sweden

  7. Poster: Efficient iterative deepening for bounded exhaustive generation of complex structures
    A. Rauf, M. Nawaz, and J. H. Siddiqui
    ICSE 2018, Gothenburg, Sweden

  8. Towards smaller checkpoints for better intermittent computing: Poster abstract
    S. Ahmed, M. H. Alizai, J. H. Siddiqui, N. A. Bhatti and L. Mottola
    IPSN 2018, Porto, Portugal

  9. Experience report: Verifying MPI Java programs using software model checking
    M. S. Ayub, W. U. Rehman, and J. H. Siddiqui
    ISSRE 2017, Toulouse, France

  10. Cross platform bug correlation using stack traces
    M. A. Ghafoor and J. H. Siddiqui
    FIT 2016, Islamabad, Pakistan

  11. Incremental checkpointing for interruptible computations: Poster abstract
    S. Ahmed, H. Khan, J. H. Siddiqui, J. A. Bitsch and M. H. Alizai
    SenSys 2016, Stanford, CA, USA

  12. Symbolic execution of stored procedures in database management systemsPDF
    M. S. Mahmood, M. A. Ghafoor, and J. H. Siddiqui
    ASE 2016, Singapore

  13. Effective partial order reduction in model checking database applicationsPDF
    M. A. Ghafoor, M. S. Mahmood, and J. H. Siddiqui
    ICST 2016, Chicago, IL, USA

  14. Verification of MPI Java programs using software model checkingPDF
    W. U. Rehman, M. S. Ayub, and J. H. Siddiqui
    PPoPP 2016, Barcelona, Spain

  15. Incremental symbolic execution for automated test suite maintenancePDF
    S. Makhdoom, M. A. Khan, and J. H. Siddiqui
    ASE 2014, Vasteras, Sweden

  16. Ranger: Parallel analysis of alloy models by range partitioningPDF
    N. Rosner, J. H. Siddiqui, N. Aguirre, S. Khurshid and M. F. Frias
    ASE 2013, Palo Alto, CA, USA

  17. Ranged model checkingPDF
    D. Funes, J. H. Siddiqui, and S. Khurshid
    FSE 2012, Cary, NC, USA

  18. Scaling symbolic execution using ranged analysisPDFSlides
    J. H. Siddiqui and S. Khurshid
    SPLASH 2012, Tucson, AZ, USA
    Best paper candidate

  19. Lightweight data-flow analysis for execution-driven constraint solvingPDF
    J. H. Siddiqui, D. Marinov, and S. Khurshid
    ICST 2012, Montreal, Canada

  20. Staged symbolic executionPDF
    J. H. Siddiqui and S. Khurshid
    SAC 2012, Trento, Italy

  21. Symbolic execution of Alloy modelsPDFSlides
    J. H. Siddiqui and S. Khurshid
    ICFEM 2011, Durham, UK

  22. Constraint-based program debugging using data structure repair
    M. Z. Malik, J. H. Siddiqui and, S. Khurshid
    ICST 2011, Berlin, Germany

  23. ParSym: Parallel symbolic executionPDF
    J. H. Siddiqui and S. Khurshid
    ICSTE 2010, San Juan, PR, USA

  24. An empirical study of structural constraint solving techniquesPDFSlides
    J. H. Siddiqui and S. Khurshid
    ICFEM 2009, Rio de Janeiro, Brazil

  25. Optimizing a structural constraint solver for efficient software checkingPDFSlides
    J. H. Siddiqui and S. Khurshid
    ASE 2009, Auckland, New Zealand

  26. PKorat: Parallel generation of structurally complex test inputsPDFSlides
    J. H. Siddiqui and S. Khurshid
    ICST 2009, Denver, CO, USA

  27. Parallel assertion processing using memory snapshotsPDFSlides
    J. H. Siddiqui, M. F. Iqbal, and D. Chiou
    ISPASS 2009, Boston, MA, USA

Theses

  1. Improving systematic constraint-driven analysis using incremental and parallel techniquesPDFSlides
    Advised by Sarfraz Khurshid
    Austin, TX, USA

  2. Decentralized key management for large dynamic multicast groups using distributed balanced treesPDFSlides
    Advised by Shafiq-ur-Rehman
    Lahore, Pakistan