Faculty Profile

Dr. Junaid Haroon Siddiqui

Assistant Professor

Department Of Comp. Scienc

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
Title Semester Code
Master's Project Fall Semester 2014-15 1401
Master's Thesis I Fall Semester 2014-15 1401
Reliable Software Fall Semester 2014-15 1401
Master's Thesis II Spring Semester 2014-15 1402
Advanced Operating Systems Spring Semester 2014-15 1402
Doctoral Thesis Research Spring Semester 2014-15 1402
Advanced Programming Spring Semester 2014-15 1402
Doctoral Thesis Research Summer Semester 2014-15 1403
Senior Project I Fall Semester 2015-16 1501
Master's Project Fall Semester 2015-16 1501
Master's Thesis I Fall Semester 2015-16 1501
Doctoral Thesis Research Fall Semester 2015-16 1501
Multicore Computing Fall Semester 2015-16 1501
Network-Centric Computing Spring Semester 2015-16 1502
Senior Project II Spring Semester 2015-16 1502
Master's Thesis I Spring Semester 2015-16 1502
Master's Thesis II Spring Semester 2015-16 1502
Advanced Operating Systems Spring Semester 2015-16 1502
Doctoral Thesis Research Spring Semester 2015-16 1502
Advanced Programming Spring Semester 2015-16 1502
Doctoral Thesis Research Summer Semester 2015-16 1503
Advanced Programming Summer Semester 2015-16 1503
Senior Project I Fall Semester 2016-17 1601
Master's Thesis I Fall Semester 2016-17 1601
Master's Thesis II Fall Semester 2016-17 1601
Doctoral Thesis Research Fall Semester 2016-17 1601
Doctoral Thesis Research Fall Semester 2016-17 1601
Fundamentals of Computer Systems Fall Semester 2016-17 1601
Senior Project II Spring Semester 2016-17 1602
Master's Thesis II Spring Semester 2016-17 1602
Doctoral Thesis Research Spring Semester 2016-17 1602
Advanced Programming Spring Semester 2016-17 1602
Directed Research Project Spring Semester 2016-17 1602
Doctoral Thesis Research Summer Semester 2016-17 1603
Fundamentals of Computer Systems Fall Semester 2017-18 1701
Program Analysis Fall Semester 2017-18 1701
Introduction to Program Analysis Fall Semester 2017-18 1701
  • Past Courses
    Title Semester Code
    Software Testing & Quality Assurance Spring Semester 2012-13 1202
    Advanced Operating Systems Spring Semester 2012-13 1202
    Software Testing Fundamentals Spring Semester 2012-13 1202
    Master's Thesis I Fall Semester 2013-14 1301
    Introduction to Programming Fall Semester 2013-14 1301
    Master's Thesis II Spring Semester 2013-14 1302
    Advanced Operating Systems Spring Semester 2013-14 1302
    Algorithms Spring Semester 2013-14 1302