Professor of Computer
Computing & Digital Technologies,
University of Teesside
Associate Dean (Research & Innovation)
In general: formal methods; programming
languages; software engineering; cybersecurity.
Recent & more specific:
program analysis and verification, software verfication and validation, fuzz testing,
safety & security of AI Systems.
H. Wang, X. Xie, S.-W. Lin, Y. Lin, Y. Li, S. Qin, Y. Liu and T. Liu.
Locating Vulnerabilities in Binaries via Memory Layout Recovering.
The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019). Tallinn, Estonia. 26-30 Aug 2019.
L. H. Pham, Q. L. Le, Q.-S. Phan, J. Sun and S. Qin.
Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation.
International Symposium on Automated Technology for Verification and Analysis (ATVA 2019). 28-31 October 2019. Taipei City.
J. Wang, J. Sun, S. Qin and C. Jegourel.
Automatically 'Verifying' Discrete-Time Complex Systems through Learning,
Abstraction and Refinement.
IEEE Transactions on Software Engineering.
Z. Xu, C. Wen and S. Qin.
Type Learning for Binaries and its Applications.
IEEE Transactions on Reliability.
S. Qin, G. He, W.-N. Chin, F. Craciun, M. He, Z. Ming.
Automated Specification Inference in a Combined Domain via User-Defined Predicates
Science of Computer Programming. Elsevier.
X. Wang, J. Sun, T. Wang and S. Qin.
Language Inclusion Checking of Timed Automata with Non-zenoness.
IEEE Transactions on Software Engineering. 43(11):995-1008 (2017).
Richard Banach, Michael Butler, Shengchao Qin, Huibiao Zhu.
Core Hybrid Event-B II: Multiple
Cooperating Hybrid Event-B Machines.
Science of Computer Programming. Volume 139. Pages 1--35. June 2017. Elsevier.
J. Sun, H. Xiao, Y. Liu, S.-W. Lin and S. Qin.
TLV: Abstraction through Testing, Learning and Validation.
The Joint Meeting of ACM SIGSOFT Symposium on the Foundations of Software Engineering
and the European Software Engineering Conference
Bergamo, Italy. 2-4 Sep 2015.
T. C. Le, S.Qin and W.-N. Chin.
Termination and Non-termination Specification Inference.
The 36th annual ACM SIGPLAN conference on Programming Language Design and
Implementation (PLDI'15), Pages 489-498. Portland, Oregon, United States, June 13 - 17,
2015. The ACM Press.
R. Banach, M. Butler, S. Qin, N. Verma, and H. Zhu.
Core Hybrid Event-B I: Single Hybrid Event-B Machines.
Science of Computer Programming.
H. Zhu, J. He, S. Qin and P. J. Brooke.
Denotational semantics and its algebraic derivation for an event-driven system-level
language. Formal Aspects of Computing. 27(1): 133-166 (2015).
Q. L. Le, C. Gherghina, S. Qin and W.-N. Chin.
Shape Analysis via Second-Order Bi-Abduction. 26th International Conference on Computer Aided Verification
(CAV 2014). LNCS 8559. Pages:52-68. July 18-22, 2014. Vienna, Austria. (online demo)
S. Qin, G. He, C. Luo, W.-N. Chin, and H. Yang.
Automatically Refining Partial Specifications for Heap-Manipulating Programs.
Science of Computer Programming. 82 (2014):56-76.
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.
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
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
W.-N. Chin, C. Gherghina, R. Voicu, Q. L. Le, F. Craciun and S. Qin.
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
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,
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.
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.
Externally Funded Research
Research Council Service
Full Member of the EPSRC Peer Review College
UKRI Future Leaders Fellowship Peer Review College
Program Committee Chair
ICFEM 2019: 21st
International Conference on Formal Engineering Methods
, Shenzhen, China.. 5-9 Nov 2019.
TASE 2019: 13th International Symposium on Theoretical Aspects of Software
Engineering, Guilin, China, 29-31 July 2019.
ICFEM 2011: 13th
International Conference on Formal Engineering Methods
, Radisson Blu Hotel Durham, UK. 26-28 Oct 2011.
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
More than 50 international conferences/symposiums, e.g. IJCAI, AAAI, ICFEM, SETTA, ICTAC, TASE, UTP, FM, LCTES, ICECCS.
Steering Committee Membership
Conference on Formal Engineering Methods
TASE: IEEE International Symposium on Theoretical Aspects of Software Engineering
UTP: International Symposium on Unifying Theories
Other Conference Organisation Activities
May, 2014, Singapore. (Workshop Chair)
November, 2004, Taipei. (Publicity Chair)
2003, Singapore. (Publicity Co-Chair)
Fellow of the
Higher Education Academy
Member of the
ACM, the ACM SIGPLAN, and the
IEEE Computer Society
The Formal Methods Wiki
for Programming Language Research
Conferences in Formal Methods and Soft. Technology
So long, and
thanks for the Ph.D.!
Thank you for your visit. My email: S.Qin[at]tees.ac.uk