Faculty Profile

Dr. Junaid Haroon Siddiqui

Assistant Professor

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.

    • Article
      • Siddiqui, J. H. .(1999). ParSym: Parallel symbolic execution . ,
      • Siddiqui, J. H. .(1999). Constraint-based program debugging using data structure repair . ,
      • Siddiqui, J. H. .(1999). An empirical study of structural constraint solving techniques . ,
      • Siddiqui, J. H. .(1999). Pkorat: Parallel generation of structurally complex test inputs . ,
      • Siddiqui, J. H. .(1999). Staged symbolic execution . ,
      • Siddiqui, J. H. .(1999). Improving systematic constraint-driven analysis using incremental and parallel techniques . ,
      • Siddiqui, J. H. .(1999). Optimizing a structural constraint solver for efficient software checking . ,
      • Siddiqui, J. H. .(1999). Lightweight data-flow analysis for execution-driven constraint solving . ,
      • Siddiqui, J. H. .(1999). Symbolic execution of Alloy models . ,
      • Siddiqui, J. H. .(1999). Parallel Assertion Processing using Memory Snapshots . ,
      • Siddiqui, J. H. .(1999). Incremental Checkpointing for Interruptible Computations . ,
    • Journal Articles
      • Siddiqui, J. H. .(2013). Scaling symbolic execution using staged analysis . Innovations in Systems and Software Engineering , Springer-Verlag , pp. 119--131
      • Siddiqui, J. H. .(2012). Ranged model checking . ACM SIGSOFT Software Engineering Notes , ACM , pp. 1--5
      • Siddiqui, J. H. .(2012). Scaling symbolic execution using ranged analysis . ACM SIGPLAN Notices , ACM , pp. 523--536
    • Conference Papers
      • Siddiqui, J. H. .(2016). Symbolic Execution of Stored Procedures in Database Management Systems . Proceedings of the 31st ACM/IEEE international conference on Automated software engineering (ASE 2016) , ACM , pp. 524--535
      • Siddiqui, J. H. .(2016). Effective Partial Order Reduction in Model Checking Database Applications . IEEE International Conference on Software Testing, Verification and Validation (ICST 2016) , IEEE , pp. 146--156
      • Siddiqui, J. H. .(2016). Verification of MPI Java programs using software model checking . Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2016) , ACM , pp. 55--56
      • Siddiqui, J. H. .(2014). Incremental symbolic execution for automated test suite maintenance . Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (ASE 2014) , ACM , pp. 271--276
      • Siddiqui, J. H. .(2013). Ranger: Parallel analysis of alloy models by range partitioning . IEEE/ACM 28th International Conference on Automated Software Engineering (ASE 2013) , ACM , pp. 147--157
Master's ProjectFall Semester 2014-151401
Master's Thesis IFall Semester 2014-151401
Reliable SoftwareFall Semester 2014-151401
Master's Thesis IISpring Semester 2014-151402
Advanced Operating SystemsSpring Semester 2014-151402
Doctoral Thesis ResearchSpring Semester 2014-151402
Advanced ProgrammingSpring Semester 2014-151402
Doctoral Thesis ResearchSummer Semester 2014-151403
Senior Project IFall Semester 2015-161501
Master's ProjectFall Semester 2015-161501
Master's Thesis IFall Semester 2015-161501
Doctoral Thesis ResearchFall Semester 2015-161501
Multicore ComputingFall Semester 2015-161501
Network-Centric ComputingSpring Semester 2015-161502
Senior Project IISpring Semester 2015-161502
Master's Thesis ISpring Semester 2015-161502
Master's Thesis IISpring Semester 2015-161502
Advanced Operating SystemsSpring Semester 2015-161502
Doctoral Thesis ResearchSpring Semester 2015-161502
Advanced ProgrammingSpring Semester 2015-161502
Doctoral Thesis ResearchSummer Semester 2015-161503
Advanced ProgrammingSummer Semester 2015-161503
Senior Project IFall Semester 2016-171601
Master's Thesis IFall Semester 2016-171601
Master's Thesis IIFall Semester 2016-171601
Doctoral Thesis ResearchFall Semester 2016-171601
Doctoral Thesis ResearchFall Semester 2016-171601
Fundamentals of Computer SystemsFall Semester 2016-171601
Senior Project IISpring Semester 2016-171602
Master's Thesis IISpring Semester 2016-171602
Doctoral Thesis ResearchSpring Semester 2016-171602
Advanced ProgrammingSpring Semester 2016-171602
Directed Research ProjectSpring Semester 2016-171602
Doctoral Thesis ResearchSummer Semester 2016-171603
Fundamentals of Computer SystemsFall Semester 2017-181701
Program AnalysisFall Semester 2017-181701
Introduction to Program AnalysisFall Semester 2017-181701
  • Past Courses
    Software Testing & Quality AssuranceSpring Semester 2012-131202
    Advanced Operating SystemsSpring Semester 2012-131202
    Software Testing FundamentalsSpring Semester 2012-131202
    Master's Thesis IFall Semester 2013-141301
    Introduction to ProgrammingFall Semester 2013-141301
    Master's Thesis IISpring Semester 2013-141302
    Advanced Operating SystemsSpring Semester 2013-141302
    AlgorithmsSpring Semester 2013-141302