Qingkai Shi

According to our database, Qingkai Shi authored at least 45 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing.

Xinmeng Xia, Yang Feng, Qingkai Shi, James A. Jones, Xiangyu Zhang, Baowen Xu

ACM Trans. Softw. Eng. Methodol., June, 2024

Balance Seed Scheduling via Monte Carlo Planning.

Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, Charles Zhang

IEEE Trans. Dependable Secur. Comput., 2024

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

Proc. ACM Program. Lang., 2024

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis.

Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang

Proc. ACM Program. Lang., 2024

ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation.

Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang

CoRR, 2024

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

Proceedings of the IEEE Symposium on Security and Privacy, 2024

A NAND Use Case for Cybersecurity Experiments.

Timothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao

Proceedings of the IEEE Secure Development Conference, 2024

FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation.

Xizhe Yin, Yang Feng, Qingkai Shi, Zixi Liu, Hongwang Liu, Baowen Xu

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 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, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

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

ACM Trans. Softw. Eng. Methodol., May, 2023

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis.

Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang

Proceedings of the 32nd USENIX Security Symposium, 2023

D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling.

Yapeng Ye, Zhuo Zhang, Qingkai Shi, Yousra Aafer, Xiangyu Zhang

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model.

Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Understanding Bugs in Rust Compilers.

Xinmeng Xia, Yang Feng, Qingkai Shi

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

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

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Lifting Network Protocol Implementation to Precise Format Specification with Security Applications.

Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Complexity-guided container replacement synthesis.

Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang

Proc. ACM Program. Lang., 2022

Indexing the extended Dyck-CFL reachability for context-sensitive program analysis.

Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang

Proc. ACM Program. Lang., 2022

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning.

Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Peahen: fast and precise static deadlock detection via context reduction.

Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Precise Divide-By-Zero Detection with Affirmative Evidence.

Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Program analysis via efficient symbolic abstraction.

Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang

Proc. ACM Program. Lang., 2021

Efficient Path-Sensitive Data-Dependence Analysis.

Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang

CoRR, 2021

Indexing Context-Sensitive Reachability.

Qingkai Shi, Yongchao Wang, Charles Zhang

CoRR, 2021

Skeletal approximation enumeration for SMT solver testing.

Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Path-sensitive sparse analysis without path conditions.

Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Fuzzing SMT solvers via two-dimensional input space exploration.

Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction.

Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Fast bit-vector satisfiability.

Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Test recommendation system based on slicing coverage filtering.

Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, Zhenyu Chen

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks.

Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, Zhenyu Chen

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Functional code clone detection with syntax and semantics fusion learning.

Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Escaping dependency hell: finding build dependency errors with the unified dependency graph.

Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Pipelining bottom-up data flow analysis.

Qingkai Shi, Charles Zhang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Conquering the extensional scalability problem for value-flow analysis frameworks.

Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

DeepGini: Prioritizing Massive Tests to Reduce Labeling Cost.

Qingkai Shi, Jun Wan, Yang Feng, Chunrong Fang, Zhenyu Chen

CoRR, 2019

NeuralVis: Visualizing and Interpreting Deep Learning Models.

Xufan Zhang, Ziyue Yin, Yang Feng, Qingkai Shi, Jia Liu, Zhenyu Chen

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

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

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

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

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Predicate Interpretation Analysis Based on Soot.

Chunrong Fang, Qingkai Shi, Yang Feng, Zicong Liu, Xiaofang Zhang, Baowen Xu

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Fault Interference and Coupling Effect.

Chunrong Fang, Yang Feng, Qingkai Shi, Zicong Liu, Shuying Li, Baowen Xu

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

2016

Verifying Synchronization for Atomicity Violation Fixing.

Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu

IEEE Trans. Software Eng., 2016

Measuring the Diversity of a Test Set With Distance Entropy.

Qingkai Shi, Zhenyu Chen, Chunrong Fang, Yang Feng, Baowen Xu

IEEE Trans. Reliab., 2016

2014

Bug Inducing Analysis to Prevent Fault Prone Bug Fixes.

Haoyu Yang, Chen Wang, Qingkai Shi, Yang Feng, Zhenyu Chen

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Hybrid test data generation.

Zicong Liu, Zhenyu Chen, Chunrong Fang, Qingkai Shi

Proceedings of the 36th International Conference on Software Engineering, 2014