Introduction

Qingkai (Thomas) Shi

PhD Candidate



Department of Computer Science and Engineering

Hong Kong University of Science and Technology

Email: qingkaishi AT gmail DOT com, qshiaa AT cse DOT ust DOT hk



Research Interests

My research interest centers around cybersecurity (SEC), programming language (PL), and software engineering (SE). I aim to address SEC problems by developing PL and SE methods, or address PL and SE problems to support SEC analysis. More specifically, I focus on the use of both static and dynamic program analysis for making software systems more secure and reliable.

Publications

View all publications at Google Citations or DBLP.

Projects

  • Pinpoint Static Analyzer

    Pinpoint is an industrial-strength next-generation automated bug finding tool through static analysis and AI. It is built on top of LLVM. It has found about a hundred vulnerabilities in many mature open-source projects, including Apache, MySQL, Firefox, Python, OpenSSL, etc. Some of the detected vulnerabilities have been assigned CVE IDs. This project is being commercialized at Sourcebrella Inc.. For more information, interested readers can refer to our technical papers: <PLDI 2018> <ICSE 2019> <ICSE 2020a> <ICSE 2020b>.

     

  • Pangolin Fuzzing System

    Pangolin is an industrial-strength fuzzing system that aims to find software vulnerabilities through fuzz testing. It aims to address common problems in existing fuzzers. For instance, we propose domain-specific fuzzing/testing criteria to guide fuzz testing in different application scenarios. We propose incremental techniques to reduce the cost of random input mutation and SMT solving. Some of the detected vulnerabilities have been assigned CVE IDs. For more information, interested readers can refer to our technical papers: <TSE 2016> <TR 2016> <S&P 2020>.

Teaching Experiences

  • TA for COMP4111: Software Engineering Practices (Fall 2016, Spring 2018)
  • TA for COMP3111/3111H: Software Engineering (Fall 2018)

Honors

  • ACM SIGSOFT Distinguished Paper Award (2019)
  • Champion in NASAC Prototype Competition (2016, 2018a, 2018b)
  • Hong Kong Phd Fellowship (2015)
  • China National Scholarship (2010, 2014)

Misc