| 2026 | CAV | Sound and Precise Symbolic Automata Model for Stateful Software Systems. | Xinlong Wu, Ruiyu Zhou, Peisen Yao, Qingkai Shi |
| 2026 | SP | SFA-Miner: Mining Path-Sensitive API Usage Patterns Via Symbolic Finite Automata. | Jiasheng Jiang, Mingwei Zheng, Qingkai Shi, Xiangyu Zhang |
| 2025 | CCS | Validating Interior Gateway Routing Protocols via Equivalent Topology Synthesis. | Bing Shui, Yufan Zhou, Jielun Wu, Baowen Xu, Qingkai Shi |
| 2025 | ICSE | Datalog-Based Language-Agnostic Change Impact Analysis for Microservices. | Qingkai Shi, Xiaoheng Xie, Xianjin Fu, Peng Di, Huawei Li, Ang Zhou, Gang Fan |
| 2024 | CCS | Poster: Protecting Source Code Privacy When Hunting Bugs. | Jielun Wu, Qingkai Shi |
| 2024 | ICSE | LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems. | Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang |
| 2024 | ISSTA | FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation. | Xizhe Yin, Yang Feng, Qingkai Shi, Zixi Liu, Hongwang Liu, Baowen Xu |
| 2024 | SP | Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts. | Wuqi Zhang, Zhuo Zhang, Qingkai Shi, Lu Liu, Lili Wei, Yepang Liu, Xiangyu Zhang, Shing-Chi Cheung |
| 2023 | CCS | Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. | Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang |
| 2023 | ISSTA | Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. | Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang |
| 2023 | QRS | Understanding Bugs in Rust Compilers. | Xinmeng Xia, Yang Feng, Qingkai Shi |
| 2023 | SP | D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling. | Yapeng Ye, Zhuo Zhang, Qingkai Shi, Yousra Aafer, Xiangyu Zhang |
| 2022 | ICSE | Precise Divide-By-Zero Detection with Affirmative Evidence. | Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang |
| 2022 | SP | BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. | Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang |
| 2021 | ISSTA | Fuzzing SMT solvers via two-dimensional input space exploration. | Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang |
| 2021 | PLDI | Path-sensitive sparse analysis without path conditions. | Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang |
| 2020 | ICSE | Conquering the extensional scalability problem for value-flow analysis frameworks. | Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang |
| 2020 | ICSE | Pipelining bottom-up data flow analysis. | Qingkai Shi, Charles Zhang |
| 2020 | ISSTA | Functional code clone detection with syntax and semantics fusion learning. | Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi |
| 2020 | ISSTA | Escaping dependency hell: finding build dependency errors with the unified dependency graph. | Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang |
| 2020 | ISSTA | DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks. | Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, Zhenyu Chen |
| 2020 | ISSTA | Test recommendation system based on slicing coverage filtering. | Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, Zhenyu Chen |
| 2020 | ISSTA | Fast bit-vector satisfiability. | Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang |
| 2020 | SP | Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. | Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang |
| 2019 | ICSE | 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 |
| 2018 | PLDI | 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 |
| 2017 | SEKE | Fault Interference and Coupling Effect. | Chunrong Fang, Yang Feng, Qingkai Shi, Zicong Liu, Shuying Li, Baowen Xu |
| 2017 | SEKE | Predicate Interpretation Analysis Based on Soot. | Chunrong Fang, Qingkai Shi, Yang Feng, Zicong Liu, Xiaofang Zhang, Baowen Xu |
| 2014 | ICSE | Hybrid test data generation. | Zicong Liu, Zhenyu Chen, Chunrong Fang, Qingkai Shi |
| 2014 | SEKE | Bug Inducing Analysis to Prevent Fault Prone Bug Fixes. | Haoyu Yang, Chen Wang, Qingkai Shi, Yang Feng, Zhenyu Chen |