Faculty Profile

Dr. Junaid Haroon Siddiqui

Assistant Professor

Department Of Computer Sciences

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.

His experience includes 8 years of teaching at FAST-NU, LUMS, and UT Austin. His 7 years of industry experience includes working at Microsoft, Google, and various Pakistan based software houses.

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 CheckingProceedings - International Symposium on Software Reliability Engineering, ISSREAyub M.S., Rehman W.U., Siddiqui J.H.2017
Cross Platform Bug Correlation Using Stack TracesProceedings - 14th International Conference on Frontiers of Information Technology, FIT 2016Ghafoor M.A., Siddiqui J.H.2017
Advances in Software Model CheckingAdvances in ComputersSiddiqui J.H., Rauf A., Ghafoor M.A.2017
Poster Abstract: Incremental checkpointing for interruptible computationsProceedings of the 14th ACM Conference on Embedded Networked Sensor Systems, SenSys 2016Ahmed S., Khan H., Siddiqui J.H., Bitsch J.A., Alizai M.H.2016
Symbolic execution of stored procedures in database management systemsASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software EngineeringMahmood M.S., Ghafoor M.A., Siddiqui J.H.2016
Effective Partial Order Reduction in Model Checking Database ApplicationsProceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016Ghafoor M.A., Mahmood M.S., Siddiqui J.H.2016
Verification of MPI Java programs using software model checkingProceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPPUr Rehman W., Ayub M.S., Siddiqui J.H.2016
Incremental symbolic execution for automated test suite maintenanceASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software EngineeringMakhdoom S., Khan M.A., Siddiqui J.H.2014
Ranger: Parallel analysis of alloy models by range partitioning2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - ProceedingsRosner N., Siddiqui J.H., Aguirre N., Khurshid S., Frias M.F.2013
Scaling symbolic execution using staged analysisInnovations in Systems and Software EngineeringSiddiqui J.H., Khurshid S.2013
Scaling symbolic execution using ranged analysisACM SIGPLAN NoticesSiddiqui J.H., Khurshid S.2012
Staged symbolic executionProceedings of the ACM Symposium on Applied ComputingSiddiqui J.H., Khurshid S.2012
Lightweight data-flow analysis for execution-driven constraint solvingProceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012Siddiqui J.H., Marinov D., Khurshid S.2012
Symbolic execution of alloy modelsLecture 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 repairProceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011Malik M.Z., Siddiqi J.H., Khurshid S.2011
ParSym: Parallel symbolic executionICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, ProceedingsSiddiqui J.H., Khurshid S.2010
An empirical study of structural constraint solving techniquesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Siddiqui J.H., Khurshid S.2009
Optimizing a structural constraint solver for efficient software checkingASE2009 - 24th IEEE/ACM International Conference on Automated Software EngineeringSiddiqui J.H., Marinov D., Khurshid S.2009
PKorat: Parallel generation of structurally complex test inputsProceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009Siddiqui J.H., Khurshid S.2009
Spring Semester 2017-18Directed Research Project1702
Spring Semester 2017-18Senior Project1702
Spring Semester 2017-18Advanced Programming1702
Spring Semester 2017-18Doctoral Thesis Research1702
Fall Semester 2017-18Introduction to Program Analysis1701
Fall Semester 2017-18Program Analysis1701
Fall Semester 2017-18Senior Project1701
Fall Semester 2017-18Fundamentals of Computer Systems1701
Fall Semester 2017-18Doctoral Thesis Research1701
Summer Semester 2016-17Doctoral Thesis Research1603
Spring Semester 2016-17Directed Research Project1602
Spring Semester 2016-17Advanced Programming1602
Spring Semester 2016-17Doctoral Thesis Research1602
Spring Semester 2016-17Master's Thesis II1602
Spring Semester 2016-17Senior Project II1602
Fall Semester 2016-17Fundamentals of Computer Systems1601
Fall Semester 2016-17Doctoral Thesis Research1601
Fall Semester 2016-17Doctoral Thesis Research1601
Fall Semester 2016-17Master's Thesis II1601
Fall Semester 2016-17Master's Thesis I1601
Fall Semester 2016-17Senior Project I1601
Summer Semester 2015-16Advanced Programming1503
Summer Semester 2015-16Doctoral Thesis Research1503
Spring Semester 2015-16Advanced Programming1502
Spring Semester 2015-16Doctoral Thesis Research1502
Spring Semester 2015-16Advanced Operating Systems1502
Spring Semester 2015-16Master's Thesis II1502
Spring Semester 2015-16Master's Thesis I1502
Spring Semester 2015-16Senior Project II1502
Spring Semester 2015-16Network-Centric Computing1502
Fall Semester 2015-16Multicore Computing1501
Fall Semester 2015-16Doctoral Thesis Research1501
Fall Semester 2015-16Master's Thesis I1501
Fall Semester 2015-16Master's Project1501
Fall Semester 2015-16Senior Project I1501
Summer Semester 2014-15Doctoral Thesis Research1403
Spring Semester 2014-15Advanced Programming1402
Spring Semester 2014-15Doctoral Thesis Research1402
Spring Semester 2014-15Advanced Operating Systems1402
Spring Semester 2014-15Master's Thesis II1402
Fall Semester 2014-15Reliable Software1401
Fall Semester 2014-15Master's Thesis I1401
Fall Semester 2014-15Master's Project1401
  • Past Courses
    Spring Semester 2013-14Algorithms1302
    Spring Semester 2013-14Advanced Operating Systems1302
    Spring Semester 2013-14Master's Thesis II1302
    Fall Semester 2013-14Introduction to Programming1301
    Fall Semester 2013-14Master's Thesis I1301
    Spring Semester 2012-13Software Testing Fundamentals1202
    Spring Semester 2012-13Advanced Operating Systems1202
    Spring Semester 2012-13Software Testing & Quality Assurance1202