Qingkai (Thomas) Shi

PhD in Computer Science (HKUST)

PhD Thesis | Curriculum Vitae


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



Highlights

  • New 04/20: Read my PhD thesis on the state-of-the-art static code analysis for industrial-sized code!
  • New 04/20: Our papers on static bug finding are accepted by ISSTA!
  • New 01/20: Our paper on fuzz testing is accepted by Oakland!
  • New 12/19: Two papers on static bug finding are accepted by ICSE!
  • 04/19: Our paper on static bug finding is awarded the ACM SIGSOFT Distinguished Pa­per!
  • 12/18: Our paper on static bug finding is accepted by ICSE!
  • 02/18: Our Paper on static bug finding is accepted by PLDI!

Publications

My research interest centers around cybersecurity (SEC), programming language (PL), and software engineering (SE). My research aims to address SEC problems by developing PL/SE methods, or address PL/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.

  1. PhD Thesis: Precise and Scalable Static Bug Finding for Industrial-Sized Code
    Qingkai Shi
    The Hong Kong University of Science and Technology
  2. ISSTA'20: Fast Bit-Vector Satisfiability
    Peisen Yao, Qingkai Shi*, Heqing Huang, Charles Zhang
    The 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
  3. ISSTA'20: Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
    Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang
    The 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
  4. S&P'20: Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
    Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi*, Charles Zhang
    The 41st IEEE Symposium on Security and Privacy
  5. ICSE'20: Pipelining Bottom-up Data Flow Analysis
    Qingkai Shi, Charles Zhang
    The 42nd ACM/IEEE International Conference on Software Engineering
  6. ICSE'20: Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
    Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
    The 42nd ACM/IEEE International Conference on Software Engineering
  7. ICSE'19: Smoke: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
    Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang
    The 41st ACM/IEEE International Conference on Software Engineering
    ACM SIGSOFT Distinguished Paper Award
  8. PLDI'18: Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
    Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang
    The 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
    (Slides) (Artifact Evaluation) (Media)
  9. TSE'16: Verifying Synchronization for Atomicity Violation Fixing
    Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu
    The IEEE Transactions on Software Engineering, 42(3), 2016
  10. TRel'16: Measuring the Diversity of a Test Set with Distance Entropy
    Qingkai Shi, Zhenyu Chen, Chunrong Fang, Yang Feng, Baowen Xu
    The IEEE Transactions on Reliability, 65(1), 2016

Projects

Teaching

  • 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