ITU FM 90.4
CONTACT INFO
6th Floor,
Arfa Software Technology Park, Lahore
P (042) - 111-111-ITU (488)
Dr. Sarfraz Khurshid
Vice Chancellor
PhD - Computer Science, Massachusetts Institute of Technology (MIT), USA
RESEARCH INTERESTS
His research interests include automated software engineering, software testing, static and dynamic checking of code conformance, repair of structurally complex data, model checking, formal specification languages, and parallel and incremental algorithms for software analysis.
biography
Professor Dr. Sarfraz Khurshid holds a PhD in Computer Science from the Massachusetts Institute of Technology (MIT), USA. He has done his undergraduate in Mathematics and Computer Science from Imperial College (London), UK and read Part III of the Mathematical Tripos at Trinity College Cambridge, UK. Previously, Dr. Khurshid has served as Professor of Electrical and Computer Engineering at The University of Texas at Austin.
- . H. Siddiqui, D. Marinov, and S. Khurshid. Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pages 91-100, Montreal, Canada, April 2012
- M. Z. Malik and S. Khurshid. Dynamic Shape Analysis Using Spectral Graph Properties. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pages 211-220, Montreal, Canada, April 2012
- J. H. Siddiqui and S. Khurshid. Staged Symbolic Execution. ACM Symposium on Applied Computing (SAC), pages 1339-1346, Riva del Garda, Italy, March 2012
- S. A. Khalek and S. Khurshid. Efficiently Running Test Suites Using Abstract Undo Operations. IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE), pages 110-119, Hiroshima, Japan, November 2011
- L. Zhang, D. Marinov, L. Zhang, and S. Khurshid. An Empirical Study of JUnit Test-Suite Reduction. IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE), pages 170-179, Hiroshima, Japan, November 2011
- S. A. Khalek, G. Yang, L. Zhang, D. Marinov, S. Khurshid. TestEra: A tool for testing Java programs using Alloy specifications. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 608-611, Lawrence, KS, November 2011
- S. A. Khalek, V. P. Narayanan, and S. Khurshid. Mixed constraints for test input generation - An initial exploration. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 548-551, Lawrence, KS, November 2011
- S. Person, G. Yang, N. Rungta, and S. Khurshid. Directed incremental symbolic execution. 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 504-515, San Jose, CA, June 2011
- C. Cadar, P. Godefroid, S. Khurshid, C. S. Pasareanu, K. Sen, N. Tillmann, and W. Visser. Symbolic execution for software testing in practice: Preliminary assessment. 33rd International Conference on Software Engineering (ICSE), pages 1066-1071, Waikiki, Honolulu, May 2011
- S. A. Khalek and S. Khurshid. Systematic testing of database engines using a relational constraint solver. IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST), pages 50-59, Berlin, Germany, Mar. 2011
- C. H. P. Kim, D. S. Batory, and S. Khurshid. Reducing combinatorics in testing product lines. 10th International Conference on Aspect-Oriented Software Development (AOSD), pages 57-68, Porto de Galinhas, Brazil, Mar. 2011
- Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory. Incremental Test Generation for Software Product Lines. IEEE Transactions on Software Engineering (TSE) Volume 36, Number 3, pages 309-322, 2010
- J. H. Siddiqui and S. Khurshid. ParSym: Parallel symbolic execution. 2nd International Conference on Software Technology and Engineering (ICSTE), pages V1-405-V1-409, San Juan, PR, Oct. 2010
- M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak, and D. Marinov. Test generation through programming in UDITA. 32nd ACM/IEEE International Conference on Software Engineering (ICSE), pages 225-234, Cape Town, South Africa, May 2010. (ACM SIGSOFT Distinguished Paper Award)
- M. Frappier, U. Glasser, S. Khurshid, R. Laleau, and S. Reeves, editors. Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010, volume 78 of Science of Computer Programming, 2013
- J. Derrick, J. A. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves, and E. Riccobene, editors. Third International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012) Proceedings, Pisa, Italy, June 18-21, 2012, Lecture Notes in Computer Science (LNCS) Volume 7316, Springer 2012
- S. Khurshid and K. Sen, editors. Second International Conference on Runtime Verification (RV 2011) Proceedings, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, Lecture Notes in Computer Science (LNCS) Volume 7186, Springer 2012
- M. Frappier, U. Glasser, S. Khurshid, R. Laleau, and S. Reeves, editors. Second International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010) Proceedings, Orford, QC, Canada, February 22-25, 2010, Lecture Notes in Computer Science (LNCS) Volume 5977, Springer 2010
- ACM SIGSOFT Impact Paper Award(2012),
- ACM SIGSOFT Distinguished Paper Award (ISSTA 2002)
- ACM SIGSOFT Distinguished Paper Award (ICSE 2010)
- Best Practical Paper Award, (IEEE S&P Oakland 2014),
- Best Research Paper Award(ASWEC 2009)
- NSF CAREER Award(2009).
