Qingkai Shi

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 44

Top Topics

Dependency Graph

Top Venues

Proc. ACM Program. Lang.

Publications

Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, Charles Zhang
Balance Seed Scheduling via Monte Carlo Planning. IEEE Trans. Dependable Secur. Comput. 21 (3) (2024)
Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems. ICSE (2024)
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Xinmeng Xia, Yang Feng, Qingkai Shi, James A. Jones, Xiangyu Zhang, Baowen Xu
Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. CoRR (2023)
Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang
Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. ISSTA (2023)
Yapeng Ye, Zhuo Zhang, Qingkai Shi, Yousra Aafer, Xiangyu Zhang
D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling. SP (2023)
Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. CCS (2023)
Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. USENIX Security Symposium (2023)
Xinmeng Xia, Yang Feng, Qingkai Shi
Understanding Bugs in Rust Compilers. QRS (2023)
Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang
Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. CoRR (2023)
Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. CoRR (2023)
Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. ESEC/SIGSOFT FSE (2023)
Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang
Precise Divide-By-Zero Detection with Affirmative Evidence. ICSE (2022)
Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. IEEE Symposium on Security and Privacy (2022)
Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang
Indexing the extended Dyck-CFL reachability for context-sensitive program analysis. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang
Peahen: fast and precise static deadlock detection via context reduction. ESEC/SIGSOFT FSE (2022)
Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang
Complexity-guided container replacement synthesis. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
Efficient Path-Sensitive Data-Dependence Analysis. CoRR (2021)
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
Skeletal approximation enumeration for SMT solver testing. ESEC/SIGSOFT FSE (2021)
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
Program analysis via efficient symbolic abstraction. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Qingkai Shi, Yongchao Wang, Charles Zhang
Indexing Context-Sensitive Reachability. CoRR (2021)
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
Fuzzing SMT solvers via two-dimensional input space exploration. ISSTA (2021)
Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
Path-sensitive sparse analysis without path conditions. PLDI (2021)
Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. IEEE Symposium on Security and Privacy (2020)
Qingkai Shi, Charles Zhang
Pipelining bottom-up data flow analysis. ICSE (2020)
Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
Conquering the extensional scalability problem for value-flow analysis frameworks. ICSE (2020)
Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, Zhenyu Chen
Test recommendation system based on slicing coverage filtering. ISSTA (2020)
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
Fast bit-vector satisfiability. ISSTA (2020)
Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, Zhenyu Chen
DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks. ISSTA (2020)
Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi
Functional code clone detection with syntax and semantics fusion learning. ISSTA (2020)
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang
Escaping dependency hell: finding build dependency errors with the unified dependency graph. ISSTA (2020)
Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks. CoRR (2019)
Xufan Zhang, Ziyue Yin, Yang Feng, Qingkai Shi, Jia Liu, Zhenyu Chen
NeuralVis: Visualizing and Interpreting Deep Learning Models. CoRR (2019)
Qingkai Shi, Jun Wan, Yang Feng, Chunrong Fang, Zhenyu Chen
DeepGini: Prioritizing Massive Tests to Reduce Labeling Cost. CoRR (2019)
Xufan Zhang, Ziyue Yin, Yang Feng, Qingkai Shi, Jia Liu, Zhenyu Chen
NeuralVis: Visualizing and Interpreting Deep Learning Models. ASE (2019)
Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang
Smoke: scalable path-sensitive memory leak detection for millions of lines of code. ICSE (2019)
Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang
Pinpoint: fast and precise sparse value flow analysis for million lines of code. PLDI (2018)
Chunrong Fang, Qingkai Shi, Yang Feng, Zicong Liu, Xiaofang Zhang, Baowen Xu
Predicate Interpretation Analysis Based on Soot. SEKE (2017)
Chunrong Fang, Yang Feng, Qingkai Shi, Zicong Liu, Shuying Li, Baowen Xu
Fault Interference and Coupling Effect. SEKE (2017)
Qingkai Shi, Zhenyu Chen, Chunrong Fang, Yang Feng, Baowen Xu
Measuring the Diversity of a Test Set With Distance Entropy. IEEE Trans. Reliab. 65 (1) (2016)
Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu
Verifying Synchronization for Atomicity Violation Fixing. IEEE Trans. Software Eng. 42 (3) (2016)
Haoyu Yang, Chen Wang, Qingkai Shi, Yang Feng, Zhenyu Chen
Bug Inducing Analysis to Prevent Fault Prone Bug Fixes. SEKE (2014)
Zicong Liu, Zhenyu Chen, Chunrong Fang, Qingkai Shi
Hybrid test data generation. ICSE Companion (2014)