Copyright notice: The documents referenced below are included by the
contributing authors as a means to ensure timely dissemination of scholarly and
technical work on a non-commercial basis. Copyright and all rights therein are
maintained by the authors or by other copyright holders, notwithstanding that
they have offered their works here electronically. It is understood that all
persons copying this information will adhere to the terms and constraints
invoked by each author's copyright.
Back to Homepage · All Papers · Representative Papers
2024
- OOPSLA'24: ParDiff: Practical Static Differential
Analysis of Network Protocol Parsers
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang
The ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications
- PLDI'24: Falcon: A Fused
Approach to Path-Sensitive Sparse Data Dependence Analysis
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
The ACM SIGPLAN Conference on Programming Language Design and Implementation
- SP'24: 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
The IEEE Symposium on Security and Privacy
- ICSE'24: A Two-Layer Persistent Summary Design for Taming
Third-Party Libraries in Static Bug-Finding Systems
Rongxin Wu, Y. He, J. Huang, C. Wang, W. Tang, Qingkai Shi, X. Xiao, Charles Zhang
The ACM/IEEE International Conference on Software Engineering
- TOSEM'24: Enumerating Valid
Non-Alpha-Equivalent Programs for Interpreter Testing
Xinmeng Xia, Yang Feng, Qingkai Shi, James Jones, Xiangyu Zhang, Baowen Xu
The ACM Transactions on Software Engineering and Methodology
2023
- CCS'23: Lifting Network Protocol Implementation to Precise
Format Specification with Security Applications
Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang
The ACM Conference on Computer and Communications Security
- SEC'23: Extracting Protocol Format as State Machine via
Controlled Static Loop Analysis
Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang
The USENIX Security Symposium
- SP'23: D-ARM: Disassembling ARM Binaries by
Lightweight Superset Instruction Interpretation and Graph Modeling
Yapeng Ye, Zhuo Zhang, Qingkai Shi, Yousra Aafer, Xiangyu Zhang
The IEEE Symposium on Security and Privacy
- ESEC/FSE'23: PEM: Representing Binary Program Semantics for
Similarity Analysis via A Probabilistic Execution Model
Xiangzhe Xu, Z. Xun, S. Feng, S. Chen, Y. Ye, Qingkai Shi, G. Tao, L. Yu, Z. Zhang, Xiangyu Zhang
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
- ISSTA'23: Improving Binary Code Similarity Transformer
Models by Semantics-driven Instruction Deemphasis
Xiangzhe Xu, S. Feng, Y. Ye, G. Shen, Z. Su, S. Chen, G. Tao, Qingkai Shi, Z. Zhang, Xiangyu Zhang
The ACM SIGSOFT International Symposium on Software Testing and Analysis
- TDSC'23:
Balancing Seed
Scheduling via Monte Carlo Planning
Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, Charles Zhang
The IEEE Transactions on Dependable and Secure Computing
- TOSEM'23: Anchor: Fast and Precise Value-Flow Analysis for
Containers via Memory Orientation
Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang
The ACM Transactions on Software Engineering and Methodology
2022
- OOPSLA'22: Indexing the Extended Dyck-CFL
Reachability for Context-Sensitive Program Analysis
Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang
The ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications
- OOPSLA'22: Complexity-Guided Container Replacement
Synthesis
Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang
The ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications
ACM SIGPLAN Distinguished Paper
Award - ESEC/FSE'22: Peahen: Fast and Precise Static Deadlock Detection
via Context Reduction
Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
- ICSE'22: Precise Divide-By-Zero Detection with Affirmative
Evidence
Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang
The ACM/IEEE International Conference on Software Engineering
- SP'22: Beacon: Directed Grey-Box Fuzzing with Provable
Path Pruning
Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
The IEEE Symposium on Security and Privacy
Google Research Paper Reward
ACM SIGPLAN Distinguished Paper
Award 2021
- PLDI'21: Path-Sensitive Sparse Analysis without
Path Conditions
Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
The ACM SIGPLAN Conference on Programming Language Design and Implementation
- OOPSLA'21: Program Analysis via Efficient Symbolic
Abstraction
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
The ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications
- ESEC/FSE'21: Skeletal Approximation Enumeration for SMT Solver
Testing
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
- ISSTA'21: Fuzzing SMT Solvers via Two-Dimensional Input
Space Exploration
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
The ACM SIGSOFT International Symposium on Software Testing and Analysis
2020
- ICSE'20: Pipelining Bottom-up Data Flow Analysis
Qingkai Shi, Charles Zhang
The ACM/IEEE International Conference on Software Engineering
- ICSE'20: Conquering the Extensional Scalability Problem
for Value-Flow Analysis Frameworks
Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
The ACM/IEEE International Conference on Software Engineering
- SP'20: Pangolin: Incremental Hybrid Fuzzing with
Polyhedral Path Abstraction
Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang
The IEEE Symposium on Security and Privacy
- ISSTA'20: Fast Bit-Vector Satisfiability
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
The ACM SIGSOFT International Symposium on Software Testing and Analysis
- 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 ACM SIGSOFT International Symposium on Software Testing and Analysis
- ISSTA'20: DeepGini: Prioritizing Massive Tests to
Enhance the Robustness of Deep Neural Networks
Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, Zhenyu Chen
The ACM SIGSOFT International Symposium on Software Testing and Analysis
- ISSTA'20: Functional Code Clone Detection with Syntax
and Semantics Fusion Learning
Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi
The ACM SIGSOFT International Symposium on Software Testing and Analysis
Before 2019
- 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 ACM/IEEE International Conference on Software Engineering
ACM SIGSOFT Distinguished Paper
Award
- 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 ACM SIGPLAN Conference on Programming Language Design and Implementation
- TSE'16:
Verifying Synchronization for Atomicity
Violation Fixing
Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu
The IEEE Transactions on Software Engineering
- TR'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
ACM SIGSOFT Distinguished Paper
Award