Qingkai Shi

64 papers A* 19A 8C 4Journal 27Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis.
CoRR
Peisen Yao, Zinan Gu, Qingkai Shi
2025 J jnl
An Empirical Study of Bugs in the rustc Compiler.
Proc. ACM Program. Lang.
Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, Zhendong Su
2025 J jnl
An Empirical Study of Rust-Specific Bugs in the rustc Compiler.
CoRR
Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, Zhendong Su
2025 A* conf
Datalog-Based Language-Agnostic Change Impact Analysis for Microservices.
ICSE
Qingkai Shi, Xiaoheng Xie, Xianjin Fu, Peng Di, Huawei Li, Ang Zhou, Gang Fan
2025 J jnl
Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations.
CoRR
Qingyang Li, Yibiao Yang, Maolin Sun, Jiangchang Wu, Qingkai Shi, Yuming Zhou
2025 A* conf
Protecting Source Code Privacy When Hunting Memory Bugs.
ASE
Jielun Wu, Bing Shui, Hongcheng Fan, Shengxin Wu, Rongxin Wu, Yang Feng, Baowen Xu, Qingkai Shi
2025 — conf
Towards understanding the security issues of Python programs.
Internetware
Hongcheng Fan, Di Liu, Jielun Wu, Yang Feng, Qingkai Shi, Baowen Xu
2025 A* conf
Validating Interior Gateway Routing Protocols via Equivalent Topology Synthesis.
CCS
Bing Shui, Yufan Zhou, Jielun Wu, Baowen Xu, Qingkai Shi
2025 J jnl
Validating Network Protocol Parsers with Traceable RFC Document Interpretation.
CoRR
Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang
2025 J jnl
Validating Network Protocol Parsers with Traceable RFC Document Interpretation.
Proc. ACM Softw. Eng.
Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang
2024 — conf
A NAND Use Case for Cybersecurity Experiments.
SecDev
Timothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao
2024 J jnl
Balance Seed Scheduling via Monte Carlo Planning.
IEEE Trans. Dependable Secur. Comput.
Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, Charles Zhang
2024 J jnl
Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing.
ACM Trans. Softw. Eng. Methodol.
Xinmeng Xia, Yang Feng, Qingkai Shi, James A. Jones, Xiangyu Zhang, Baowen Xu
2024 A conf
FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation.
ISSTA
Xizhe Yin, Yang Feng, Qingkai Shi, Zixi Liu, Hongwang Liu, Baowen Xu
2024 J jnl
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis.
Proc. ACM Program. Lang.
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
2024 J jnl
Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing.
IEEE Trans. Software Eng.
Yi Sun, Chengpeng Wang, Gang Fan, Qingkai Shi, Xiangyu Zhang
2024 J jnl
LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis.
CoRR
Chengpeng Wang, Yifei Gao, Wuqi Zhang, Xuwei Liu, Qingkai Shi, Xiangyu Zhang
2024 A* conf
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems.
ICSE
Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang
2024 A* conf
Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts.
SP
Wuqi Zhang, Zhuo Zhang, Qingkai Shi, Lu Liu, Lili Wei, Yepang Liu, Xiangyu Zhang, Shing-Chi Cheung
2024 J jnl
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers.
Proc. ACM Program. Lang.
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang
2024 A* conf
Poster: Protecting Source Code Privacy When Hunting Bugs.
CCS
Jielun Wu, Qingkai Shi
2024 A* conf
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation.
ASE
Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang
2024 J jnl
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation.
CoRR
Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang
2023 J jnl
Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation.
ACM Trans. Softw. Eng. Methodol.
Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang
2023 A* conf
D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling.
SP
Yapeng Ye, Zhuo Zhang, Qingkai Shi, Yousra Aafer, Xiangyu Zhang
2023 A* conf
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis.
USENIX Security Symposium
Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang
2023 J jnl
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis.
CoRR
Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang
2023 A conf
Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis.
ISSTA
Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang
2023 A* conf
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications.
CCS
Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang
2023 J jnl
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications.
CoRR
Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang
2023 — conf
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model.
ESEC/SIGSOFT FSE
Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang
2023 J jnl
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model.
CoRR
Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang
2023 C conf
Understanding Bugs in Rust Compilers.
QRS
Xinmeng Xia, Yang Feng, Qingkai Shi
2022 A* conf
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning.
SP
Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
2022 J jnl
Complexity-guided container replacement synthesis.
Proc. ACM Program. Lang.
Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang
2022 J jnl
Indexing the extended Dyck-CFL reachability for context-sensitive program analysis.
Proc. ACM Program. Lang.
Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang
2022 — conf
Peahen: fast and precise static deadlock detection via context reduction.
ESEC/SIGSOFT FSE
Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang
2022 A* conf
Precise Divide-By-Zero Detection with Affirmative Evidence.
ICSE
Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang
2021 J jnl
Efficient Path-Sensitive Data-Dependence Analysis.
CoRR
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
2021 A conf
Fuzzing SMT solvers via two-dimensional input space exploration.
ISSTA
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
2021 J jnl
Indexing Context-Sensitive Reachability.
CoRR
Qingkai Shi, Yongchao Wang, Charles Zhang
2021 A* conf
Path-sensitive sparse analysis without path conditions.
PLDI
Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
2021 J jnl
Program analysis via efficient symbolic abstraction.
Proc. ACM Program. Lang.
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
2021 — conf
Skeletal approximation enumeration for SMT solver testing.
ESEC/SIGSOFT FSE
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
2020 A* conf
Conquering the extensional scalability problem for value-flow analysis frameworks.
ICSE
Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
2020 A conf
DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks.
ISSTA
Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, Zhenyu Chen
2020 A conf
Escaping dependency hell: finding build dependency errors with the unified dependency graph.
ISSTA
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang
2020 A conf
Fast bit-vector satisfiability.
ISSTA
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
2020 A conf
Functional code clone detection with syntax and semantics fusion learning.
ISSTA
Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi
2020 A* conf
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction.
SP
Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang
2020 A* conf
Pipelining bottom-up data flow analysis.
ICSE
Qingkai Shi, Charles Zhang
2020 A conf
Test recommendation system based on slicing coverage filtering.
ISSTA
Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, Zhenyu Chen
2019 J jnl
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks.
CoRR
Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
2019 J jnl
DeepGini: Prioritizing Massive Tests to Reduce Labeling Cost.
CoRR
Qingkai Shi, Jun Wan, Yang Feng, Chunrong Fang, Zhenyu Chen
2019 A* conf
NeuralVis: Visualizing and Interpreting Deep Learning Models.
ASE
Xufan Zhang, Ziyue Yin, Yang Feng, Qingkai Shi, Jia Liu, Zhenyu Chen
2019 J jnl
NeuralVis: Visualizing and Interpreting Deep Learning Models.
CoRR
Xufan Zhang, Ziyue Yin, Yang Feng, Qingkai Shi, Jia Liu, Zhenyu Chen
2019 A* conf
Smoke: scalable path-sensitive memory leak detection for millions of lines of code.
ICSE
Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang
2018 A* conf
Pinpoint: fast and precise sparse value flow analysis for million lines of code.
PLDI
Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang
2017 C conf
Fault Interference and Coupling Effect.
SEKE
Chunrong Fang, Yang Feng, Qingkai Shi, Zicong Liu, Shuying Li, Baowen Xu
2017 C conf
Predicate Interpretation Analysis Based on Soot.
SEKE
Chunrong Fang, Qingkai Shi, Yang Feng, Zicong Liu, Xiaofang Zhang, Baowen Xu
2016 J jnl
Measuring the Diversity of a Test Set With Distance Entropy.
IEEE Trans. Reliab.
Qingkai Shi, Zhenyu Chen, Chunrong Fang, Yang Feng, Baowen Xu
2016 J jnl
Verifying Synchronization for Atomicity Violation Fixing.
IEEE Trans. Software Eng.
Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu
2014 C conf
Bug Inducing Analysis to Prevent Fault Prone Bug Fixes.
SEKE
Haoyu Yang, Chen Wang, Qingkai Shi, Yang Feng, Zhenyu Chen
2014 — conf
Hybrid test data generation.
ICSE Companion
Zicong Liu, Zhenyu Chen, Chunrong Fang, Qingkai Shi