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.

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