Shengchao Qin

Professor of Computer Science

Formal Methods and Programming Research Group

School of Computing,
University of Teesside
Middlesbrough TS1 3BA
U.K.

Phone: +44 (0)1642 342676
Email: s.qin [AT] tees.ac.uk



Research

Research Interests

In general: formal methods; programming languages; embedded systems; software engineering.

Recent & more specific: program analysis and verification, concurrency and software transaction memory, cyber-physical systems.

Externally Funded Research Projects

Publications

A more comprehensive list of my publications can be found here.

Most of my papers are also listed at the DBLP Computer Science Bibliography.

My citation statistics from Google Scholar are available here.

  • S. Qin, G. He, C. Luo, W.-N. Chin, and H. Yang. Automatically Refining Partial Specifications for Heap-Manipulating Programs. Science of Computer Programming. Accepted. Elsevier.
  • S. Qin, G. He, C. Luo, W.-N. Chin, and X. Chen. Loop Invariant Synthesis in a Combined Abstract Domain. Journal of Symbolic Computation. 50 (2013):386-408. Elsevier. (online)
  • L. Zou, N. Zhan,S. Wang, M. Franzle, and S. Qin. Verifying Simulink Diagrams via a Hybrid Hoare Logic Prover. International Conference on Embedded Software (EMSOFT'13). Sept 29 - Oct 04, 2013. Montreal, Canada. The ACM Press.
  • W.-N. Chin, C. David, H. H. Nguyen, and S. Qin. Automated Verification of Shape, Size and Bag Properties via User-Defined Predicates in Separation Logic. Science of Computer Programming. 77(2012):1006-1036. Elsevier. (Available online)
  • H. Zhu, F. Yang, J. He, J. Bowen, J. W. Sanders, and S. Qin. Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. Journal of Logic and Algebraic Programming. 81(1):2-25. 2012. Elsevier. (Available online)
  • W.-N. Chin, C. Gherghina, R. Voicu, Q. L. Le, F. Craciun and S. Qin. A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. Computer-Aided Verification (CAV 2011). Snowbird, Utah. July 2011. Lecture Notes in Computer Science. Springer.
  • S. Qin, C. Luo, W.-N. Chin, and G. He. Automatically Refining Partial Specifications for Program Verification. Formal Methods (FM2011). Limerick, Ireland. June 2011. Lecture Notes in Computer Science. Springer.
  • C. Gherghina, C. David, S. Qin, and W.-N. Chin. Structured Specifications for Better Verification of Heap-Manipulating Programs. Formal Methods(FM2011). Limerick, Ireland. June 2011. Lecture Notes in Computer Science. Springer.
  • C. Luo, F. Craciun, S. Qin, G. He, and W.-N. Chin. Verifying Pointer Safety for Programs with Unknown Calls. Journal of Symbolic Computation. 45 (11): 1163-1183. Elsevier. (Available online)
  • J. S. Dong, P. Hao, S. Qin, J. Sun and Wang Y., Timed Automata Patterns. IEEE Transactions on Software Engineering. 34 (6): 844-859. 2008.
  • W.-N. Chin, C. David, H. H. Nguyen, and S. Qin, Enhancing Modular OO Verification with Separation Logic. The 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08). San Francisco, USA. January 10-12, 2008.
  • H.-H. Nguyen, C. David, S. Qin, W.-N. Chin, Automated Verification of Shape and Size Properties via Separation Logic. VMCAI'07. Nice France. January 2007. Lecture Notes in Computer Science 4349, Springer-Verlag.
  • W.-N. Chin, H. H. Nguyen, S. Qin, and M. Rinard, Memory Usage Verification for OO Programs. The 12th International Static Analysis Symposium (SAS 05), London, UK. September 2005. Lecture Notes in Computer Science 3672, Springer-Verlag. ISBN: 3-540-28584-9.
  • W.-N. Chin, S.-C. Khoo, S. Qin, C. Popeea, and H. H. Nguyen, Verifying Safety Policies with Size Properties and Alias Controls. 27th International Conference on Software Engineering (ICSE 05), 15-21 May, 2005. St. Louis, Missouri, USA. ISBN:1-59593-963-2.
  • W.-N. Chin, F. Craciun, S. Qin and M. Rinard, Region Inference for an Object-Oriented Language, ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation (PLDI 04), June 9-11, 2004, Washington, DC, USA. ISBN:1-58113-807-5.
  • S. Qin, J. S. Dong and W.-N. Chin, A Semantic Foundation for TCOZ in Unifying Theories of Programming, Formal Methods (FM 03), Pisa, Italy, Sep. 2003. Lecture Notes in Computer Science 2805, Springer-Verlag. ISBN: 3-540-40828-2.


  • Professional Activities

    Program Committee Chair

  • ICFEM 2011: 13th International Conference on Formal Engineering Methods , Radisson Blu Hotel Durham, UK. 26-28 Oct 2011.
  • UTP 2010:3rd International Symposium on Unifying Theories of Programming, Shanghai, China, 15-16 November 2010.
  • TASE 2009: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, 29-31 July 2009.
  • Program Committee Membership

  • SETTA 2014: the 1st International Symposium on Dependable Software Engineering:Theories, Tools and Applications. Nanjing, China. 14-17 August 2014.
  • ICTAC 2014: the 11th International Colloquium on Theoretical Aspects of Computing. Bucharest, Romania. 17-20 September 2014.
  • ICFEM 2013: 15th International Conference on Formal Engineering Methods. Queenstown, New Zealand. 29 Oct - 1 Nov 2013.
  • ICTAC 2013: the 10th International Colloquium on Theoretical Aspects of Computing. Shanghai, China. 4-6 September 2013.
  • TASE 2013: the 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham, UK, 1-3 July 2013.
  • ICFEM 2012: the 14th International Conference on Formal Engineering Methods. Kyoto, Japan, 12-16 November, 2012.
  • UTP 2012: the 4th International Symposium on Unifying Theories of Programming. Paris, France, 27-28 August 2012.
  • FM 2012: the 18th International Symposium on Formal Methods. Paris, France, 27-31 August, 2012.
  • UML&FM 2012: the 5th International Workshop on UML and Formal Methods. Paris, France, 27 August 2012.
  • TASE 2012: the 6th International Symposium on Theoretical Aspects of Software Engineering, Beijing, China, 4-6 July 2012.
  • LCTES 2012: the 13th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems Beijing, China, 12-13 June, 2012.
  • TASE 2011: the 5th International Symposium on Theoretical Aspects of Software Engineering, Xi'an, China, 29-31 August 2011.
  • ICFEM 2010: 12th International Conference on Formal Engineering Methods, Shanghai, China, 16-19 Nov 2010.
  • UTP 2010: 3rd International Symposium on Unifying Theories of Programming. Shanghai, China, 15-16 Nov 2010.
  • TASE 2010: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, Taipei, Taiwan, 25-27 August 2010.
  • ICIS 2010:9th IEEE/ACIS International Conference on Computer and Information Science, August 18-20, 2010. Yamagata, Japan.
  • MoCSeRS 2010: the first international workshop on model checking secure and reliable systems, Singapore, 9 June 2010.
  • ICIS 2009: 8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, China, June, 2009.
  • UTP 2008: 2nd International Symposium on Unifying Theories of Programming, Trinity College, University of Dublin, Ireland, 8-10 Sep. 2008.
  • TASE 2008: 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China, 17-19 June 2008.
  • ICECCS 2007: 12th IEEE International Conference on Engineering of Complex Computer Systems, Auckland, New Zealand. 10-14 July, 2007.
  • TASE 2007: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China. 6-8 June, 2007.
  • ICFEM 2006: 8th International Conference on Formal Engineering Methods, Macau, 30 Oct - 3 Nov. 2006.
  • SVV 2006: International Workshop on Software Verification and Validation.Seattle (USA), 21 August 2006.
  • Steering Committee Membership

  • ICFEM:International Conference on Formal Engineering Methods
  • TASE: IEEE International Symposium on Theoretical Aspects of Software Engineering
  • UTP: International Symposium on Unifying Theories of Programming
  • Other Conference Organisation Activities

  • FM'2014, May, 2014, Singapore. (Workshop Chair)
  • APLAS'04, November, 2004, Taipei. (Publicity Chair)
  • ICFEM'03, November, 2003, Singapore. (Publicity Co-Chair)
  • Professional Membership

  • Fellow of the Higher Education Academy
  • Member of the ACM, the ACM SIGPLAN, and the IEEE Computer Society


  • Some Links

  • The Formal Methods Wiki
  • Resources for Programming Language Research
  • UNU/IIST
  • Forthcoming Conferences in Formal Methods and Soft. Technology
  • Conferences in Embedded Systems Design and Cyber-Physical Systems
  • So long, and thanks for the Ph.D.!

  • last modified: Jan 2013.