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
Click for more 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