Hybrid test data generation. - Zicong Liu; Zhenyu Chen 001; Chunrong Fang; Qingkai Shi (ICSE Companion, 2014)

Bug Inducing Analysis to Prevent Fault Prone Bug Fixes. - Haoyu Yang; Chen Wang; Qingkai Shi; Yang Feng 003; Zhenyu Chen 001 (SEKE, 2014)

Measuring the Diversity of a Test Set With Distance Entropy. - Qingkai Shi; Zhenyu Chen 001; Chunrong Fang; Yang Feng 003; Baowen Xu (IEEE Trans. Reliab., 2016)

Verifying Synchronization for Atomicity Violation Fixing. - Qingkai Shi; Jeff Huang 001; Zhenyu Chen 001; Baowen Xu (IEEE Trans. Software Eng., 2016)

Fault Interference and Coupling Effect. - Chunrong Fang; Yang Feng 003; Qingkai Shi; Zicong Liu; Shuying Li; Baowen Xu (SEKE, 2017)

Predicate Interpretation Analysis Based on Soot. - Chunrong Fang; Qingkai Shi; Yang Feng 003; Zicong Liu; Xiaofang Zhang; Baowen Xu (SEKE, 2017)

Pinpoint: fast and precise sparse value flow analysis for million lines of code. - Qingkai Shi; Xiao Xiao 003; Rongxin Wu; Jinguo Zhou; Gang Fan; Charles Zhang 001 (PLDI, 2018)

Smoke: scalable path-sensitive memory leak detection for millions of lines of code. - Gang Fan; Rongxin Wu; Qingkai Shi; Xiao Xiao 003; Jinguo Zhou; Charles Zhang 001 (ICSE, 2019)

NeuralVis: Visualizing and Interpreting Deep Learning Models. - Xufan Zhang; Ziyue Yin; Yang Feng 003; Qingkai Shi; Jia Liu 008; Zhenyu Chen 001 (ASE, 2019)

DeepGini: Prioritizing Massive Tests to Reduce Labeling Cost. - Qingkai Shi; Jun Wan 011; Yang Feng 003; Chunrong Fang; Zhenyu Chen 001 (CoRR, 2019)

Conquering the extensional scalability problem for value-flow analysis frameworks. - Qingkai Shi; Rongxin Wu; Gang Fan; Charles Zhang 001 (ICSE, 2020)

Pipelining bottom-up data flow analysis. - Qingkai Shi; Charles Zhang 001 (ICSE, 2020)

Escaping dependency hell: finding build dependency errors with the unified dependency graph. - Gang Fan; Chengpeng Wang 001; Rongxin Wu; Xiao Xiao 003; Qingkai Shi; Charles Zhang 001 (ISSTA, 2020)

Functional code clone detection with syntax and semantics fusion learning. - Chunrong Fang; Zixi Liu; Yangyang Shi; Jeff Huang 001; Qingkai Shi (ISSTA, 2020)

DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks. - Yang Feng 003; Qingkai Shi; Xinyu Gao; Jun Wan 011; Chunrong Fang; Zhenyu Chen 001 (ISSTA, 2020)

Test recommendation system based on slicing coverage filtering. - Ruixiang Qian; Yuan Zhao; Duo Men; Yang Feng 003; Qingkai Shi; Yong Huang; Zhenyu Chen 001 (ISSTA, 2020)

Fast bit-vector satisfiability. - Peisen Yao; Qingkai Shi; Heqing Huang 002; Charles Zhang 001 (ISSTA, 2020)

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. - Heqing Huang 002; Peisen Yao; Rongxin Wu; Qingkai Shi; Charles Zhang 001 (SP, 2020)

Fuzzing SMT solvers via two-dimensional input space exploration. - Peisen Yao; Heqing Huang 002; Wensheng Tang; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (ISSTA, 2021)

Path-sensitive sparse analysis without path conditions. - Qingkai Shi; Peisen Yao; Rongxin Wu; Charles Zhang 001 (PLDI, 2021)

Skeletal approximation enumeration for SMT solver testing. - Peisen Yao; Heqing Huang 002; Wensheng Tang; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (ESEC/SIGSOFT FSE, 2021)

Indexing Context-Sensitive Reachability. - Qingkai Shi; Yongchao Wang; Charles Zhang 001 (CoRR, 2021)

Efficient Path-Sensitive Data-Dependence Analysis. - Peisen Yao; Jinguo Zhou; Xiao Xiao 003; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (CoRR, 2021)

Program analysis via efficient symbolic abstraction. - Peisen Yao; Qingkai Shi; Heqing Huang 002; Charles Zhang 001 (Proc. ACM Program. Lang., 2021)

Precise Divide-By-Zero Detection with Affirmative Evidence. - Yiyuan Guo; Jinguo Zhou; Peisen Yao; Qingkai Shi; Charles Zhang 001 (ICSE, 2022)

Peahen: fast and precise static deadlock detection via context reduction. - Yuandao Cai; Chengfeng Ye; Qingkai Shi; Charles Zhang 001 (ESEC/SIGSOFT FSE, 2022)

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. - Heqing Huang 002; Yiyuan Guo; Qingkai Shi; Peisen Yao; Rongxin Wu; Charles Zhang 001 (SP, 2022)

Indexing the extended Dyck-CFL reachability for context-sensitive program analysis. - Qingkai Shi; Yongchao Wang; Peisen Yao; Charles Zhang 001 (Proc. ACM Program. Lang., 2022)

Complexity-guided container replacement synthesis. - Chengpeng Wang 001; Peisen Yao; Wensheng Tang; Qingkai Shi; Charles Zhang 001 (Proc. ACM Program. Lang., 2022)

Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. - Qingkai Shi; Junyang Shao; Yapeng Ye; Mingwei Zheng; Xiangyu Zhang 001 (CCS, 2023)

Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. - Xiangzhe Xu; Shiwei Feng 002; Yapeng Ye; Guangyu Shen; Zian Su; Siyuan Cheng 005; Guanhong Tao 001; Qingkai Shi; Zhuo Zhang 002; Xiangyu Zhang 001 (ISSTA, 2023)

Understanding Bugs in Rust Compilers. - Xinmeng Xia; Yang Feng 003; Qingkai Shi (QRS, 2023)

PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. - Xiangzhe Xu; Zhou Xuan; Shiwei Feng 002; Siyuan Cheng 005; Yapeng Ye; Qingkai Shi; Guanhong Tao 001; Le Yu; Zhuo Zhang 002; Xiangyu Zhang 001 (ESEC/SIGSOFT FSE, 2023)

D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling. - Yapeng Ye; Zhuo Zhang 002; Qingkai Shi; Yousra Aafer; Xiangyu Zhang 001 (SP, 2023)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. - Qingkai Shi; Xiangzhe Xu; Xiangyu Zhang 001 (USENIX Security Symposium, 2023)

Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. - Chengpeng Wang 001; Wenyang Wang; Peisen Yao; Qingkai Shi; Jinguo Zhou; Xiao Xiao 003; Charles Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Poster: Protecting Source Code Privacy When Hunting Bugs. - Jielun Wu; Qingkai Shi (CCS, 2024)

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 001; Wensheng Tang; Qingkai Shi; Xiao Xiao 003; Charles Zhang 001 (ICSE, 2024)

FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation. - Xizhe Yin; Yang Feng 003; Qingkai Shi; Zixi Liu; Hongwang Liu; Baowen Xu (ISSTA, 2024)

ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation. - Shiwei Feng 002; Yapeng Ye; Qingkai Shi; Zhiyuan Cheng 010; Xiangzhe Xu; Siyuan Cheng 005; Hongjun Choi; Xiangyu Zhang 001 (ASE, 2024)

A NAND Use Case for Cybersecurity Experiments. - Timothy Fraser; Xuwei Liu; Qingkai Shi; Xiangyu Zhang 001; Mark Wutka; Daniel Balasubramanian; Hao Chen 023; Zhong Shao 001 (SecDev, 2024)

Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts. - Wuqi Zhang; Zhuo Zhang 002; Qingkai Shi; Lu Liu; Lili Wei 001; Yepang Liu 001; Xiangyu Zhang 001; Shing-Chi Cheung (SP, 2024)

LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis. - Chengpeng Wang 001; Yifei Gao; Wuqi Zhang; Xuwei Liu; Qingkai Shi; Xiangyu Zhang 001 (CoRR, 2024)

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. - Peisen Yao; Jinguo Zhou; Xiao Xiao 003; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (Proc. ACM Program. Lang., 2024)

ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. - Mingwei Zheng; Qingkai Shi; Xuwei Liu; Xiangzhe Xu; Le Yu; Congyu Liu; Guannan Wei 001; Xiangyu Zhang 001 (Proc. ACM Program. Lang., 2024)

Balance Seed Scheduling via Monte Carlo Planning. - Heqing Huang 002; Hung-Chun Chiu; Qingkai Shi; Peisen Yao; Charles Zhang 001 (IEEE Trans. Dependable Secur. Comput., 2024)

Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing. - Xinmeng Xia; Yang Feng 003; Qingkai Shi; James A. Jones; Xiangyu Zhang 001; Baowen Xu (ACM Trans. Softw. Eng. Methodol., 2024)

Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing. - Yi Sun 004; Chengpeng Wang 001; Gang Fan; Qingkai Shi; Xiangyu Zhang 001 (IEEE Trans. Software Eng., 2024)

Datalog-Based Language-Agnostic Change Impact Analysis for Microservices. - Qingkai Shi; Xiaoheng Xie; Xianjin Fu; Peng Di; Huawei Li; Ang Zhou; Gang Fan (ICSE, 2025)

Validating Network Protocol Parsers with Traceable RFC Document Interpretation. - Mingwei Zheng; Danning Xie; Qingkai Shi; Chengpeng Wang 001; Xiangyu Zhang 001 (Proc. ACM Softw. Eng., 2025)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler. - Zixi Liu; Yang Feng 003; Yunbo Ni; Shaohua Li 002; Xizhe Yin; Qingkai Shi; Baowen Xu; Zhendong Su 001 (CoRR, 2025)