Junaid Haroon Siddiqui

I am an Associate Professor of Computer Science at Lahore University of Management Sciences, Pakistan. My research interests are in the areas of program analysis and software verification. I am leading the Program Analysis Group for research in using automated analysis for software reliability. Previously, I received Ph.D. from the University of Texas at Austin where I was part of the Software Verification, Validation, and Testing Group.

Selected Publications

• Discovering the Hidden Anomalies of Intermittent Computing
  A. Miaoli, L. Mottola, M. H. Alizai, and J. H. Siddiqui
  EWSN 2021, Delft, Netherlands

• 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
  ACM Transactions on Embedded Computing Systems; 19(6), 2020
  Invited

• Fast and Energy-efficient State Checkpointing for Intermittent Computing
  S. Ahmed, N. Bhatti, H. Alizai, J. H. Siddiqui, and L. Mottola
  ACM Transactions on Embedded Computing Systems; 19(6), 2020
  Invited

• Battery-less zero-maintenance embedded sensing at the mithræum of circus maximus
  M. Afanasov, N. A. Bhatti, D. Campagna, G. Caslini, F. M. Centonze, K. Dolui, A. Maioli, E. Barone, M. H. Alizai, J. H. Siddiqui, and L. Mottola
  SenSys 2020, Yokohama, Japan

• 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

• Extending Symbolic Execution for Automated Testing of Stored Procedures
  M. A. Ghafoor, M. S. Mahmood and J. H. Siddiqui
  Software Quality Journal; 28(4), 2020

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

• 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

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

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

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