Dr. Junaid Haroon Siddiqui is an Assistant Professor of Computer Science at LUMS School of Science and Engineering. Previously, he received Ph.D. in Computer Science from UT Austin (The University of Texas at Austin) and MS and BS Computer Science from FAST-NU National University of Computer and Emerging Sciences, Lahore, Pakistan.
He is leading the Program Analysis Group for research in using automated analysis for software reliability. His research interests include program analysis using static and dynamic techniques in automatic software test generation and parallel and incremental techniques in scaling algorithms for multicore processors and the intersection of these domains.
More information is available on his home page.
|Experience Report: Verifying MPI Java Programs Using Software Model Checking||Proceedings - International Symposium on Software Reliability Engineering, ISSRE||Ayub M.S., Rehman W.U., Siddiqui J.H.||2017|
|Cross Platform Bug Correlation Using Stack Traces||Proceedings - 14th International Conference on Frontiers of Information Technology, FIT 2016||Ghafoor M.A., Siddiqui J.H.||2017|
|Advances in Software Model Checking||Advances in Computers||Siddiqui J.H., Rauf A., Ghafoor M.A.||2017|
|Poster Abstract: Incremental checkpointing for interruptible computations||Proceedings of the 14th ACM Conference on Embedded Networked Sensor Systems, SenSys 2016||Ahmed S., Khan H., Siddiqui J.H., Bitsch J.A., Alizai M.H.||2016|
|Symbolic execution of stored procedures in database management systems||ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering||Mahmood M.S., Ghafoor M.A., Siddiqui J.H.||2016|
|Effective Partial Order Reduction in Model Checking Database Applications||Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016||Ghafoor M.A., Mahmood M.S., Siddiqui J.H.||2016|
|Verification of MPI Java programs using software model checking||Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP||Ur Rehman W., Ayub M.S., Siddiqui J.H.||2016|
|Incremental symbolic execution for automated test suite maintenance||ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering||Makhdoom S., Khan M.A., Siddiqui J.H.||2014|
|Ranger: Parallel analysis of alloy models by range partitioning||2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings||Rosner N., Siddiqui J.H., Aguirre N., Khurshid S., Frias M.F.||2013|
|Scaling symbolic execution using staged analysis||Innovations in Systems and Software Engineering||Siddiqui J.H., Khurshid S.||2013|
|Scaling symbolic execution using ranged analysis||ACM SIGPLAN Notices||Siddiqui J.H., Khurshid S.||2012|
|Staged symbolic execution||Proceedings of the ACM Symposium on Applied Computing||Siddiqui J.H., Khurshid S.||2012|
|Lightweight data-flow analysis for execution-driven constraint solving||Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012||Siddiqui J.H., Marinov D., Khurshid S.||2012|
|Symbolic execution of alloy models||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)||Siddiqui J.H., Khurshid S.||2011|
|Constraint-based program debugging using data structure repair||Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011||Malik M.Z., Siddiqi J.H., Khurshid S.||2011|
|ParSym: Parallel symbolic execution||ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings||Siddiqui J.H., Khurshid S.||2010|
|Optimizing a structural constraint solver for efficient software checking||ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering||Siddiqui J.H., Marinov D., Khurshid S.||2009|
|An empirical study of structural constraint solving techniques||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)||Siddiqui J.H., Khurshid S.||2009|
|PKorat: Parallel generation of structurally complex test inputs||Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009||Siddiqui J.H., Khurshid S.||2009|