Qingkai Shi
Computer Science · Purdue University West Lafayette
Publications
108
Citations
2,347
Est. group size
~8
Recurring co-author estimate
Active years
25
Publishing since 2002
This researcher works on program analysis and software testing tools, developing techniques such as pointer analysis, fault localization, and static/dynamic analysis to help find bugs and verify software correctness, including in compilers and network protocol implementations. The publication record shown here also includes a distinct set of papers on photocatalysis and water treatment chemistry, which appear to reflect a name-sharing or co-authorship overlap with a different research area rather than a single unified research program.
Publication output has grown substantially over the last decade, rising from about 2 papers per year in 2017-2018 to over 20 per year in 2024-2025.
Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026
- NESA: Relational Neuro-Symbolic Static Program Analysis
Proceedings of the ACM on software engineering. · 2026
- Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
ACM Transactions on Software Engineering and Methodology · 2026
- Facile synthesis of FeS2 for enhanced electrochemical conversion of O2-to-H2O2 toward tetracycline degradation
SSRN Electronic Journal · 2026
- Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
Open MIND · 2026
- Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
arXiv (Cornell University) · 2026
- Boosting Compiler Fault Localization: Getting the Best of Both Worlds by Fusing Dynamic and Historical Data
IEEE Transactions on Software Engineering · 2026
- Facile synthesis of FeS2 for enhanced electrochemical conversion of O2-to-H2O2 toward tetracycline degradation
Colloids and Surfaces A Physicochemical and Engineering Aspects · 2026
- Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Proceedings of the ACM on Programming Languages · 2026
- Efficient application of molybdenum materials with synergistic co-catalytic sites in peracetic acid-based Fenton-like systems: Mitigating ecological risks from overlooked residual peroxides
Chemical Engineering Journal · 2026
- Molten Salt Assisted Carbon Nitride Overcomes Inherent Photocatalytic Limitations: Unique Characteristics for High‐Efficiency Light‐Driven Energy Production
Small · 2026
- Phoenix
Zenodo (CERN European Organization for Nuclear Research) · 2026
- Phoenix
Zenodo (CERN European Organization for Nuclear Research) · 2026
- SFA-Miner: Mining Path-Sensitive API Usage Patterns Via Symbolic Finite Automata
2026
- Metal–Organic Framework‐Based Materials for Photocatalytic Hydrogen Peroxide Production: Insights into Mechanism, Modification Strategies, and Environmental Applications
Advanced Energy Materials · 2025
- State‐Of‐The‐Art Structural Regulation Methods and Quantum Chemistry for Carbon‐Based Single‐Atom Catalysts in Advanced Oxidation Process: Critical Perspectives into Molecular Level
Advanced Materials · 2025
- arXiv (Cornell University)×14
- Proceedings of the ACM on Programming Languages×7
- SSRN Electronic Journal×4
- Zenodo (CERN European Organization for Nuclear Research)×4
- Journal of environmental chemical engineering×3
- Xiangyu Zhang
Computer Science · Purdue University West Lafayette
- Yapeng Ye
Computer Science · Purdue University West Lafayette
- Xuwei Liu
Computer Science · Purdue University West Lafayette
- Mingwei Zheng
Computer Science · Purdue University West Lafayette
- Wenyu Wang
Computer Science · Indiana University
This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.
Last updated Jul 20, 2026.
Claim or correct this profile