Scholar
Qingkai Shi
Google Scholar ID: EmSYY1EAAAAJ
Nanjing University
Programming Language
Software Engineering
Cybersecurity
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,427
H-index
16
i10-index
27
Publications
20
Co-authors
49
list available
Contact
Email
qingkaishi@nju.edu.cn
CV
Open ↗
Twitter
Open ↗
GitHub
Open ↗
Publications
4 items
Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
2026
Cited
0
Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
2025
Cited
0
Validating Network Protocol Parsers with Traceable RFC Document Interpretation
2025
Cited
1
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
2025
Cited
0
Resume (English only)
Academic Achievements
Received four ACM SIGPLAN or SIGSOFT Distinguished Paper Awards
Awarded a Google Research Paper Award
Published extensively at premier venues including PLDI, OOPSLA, ICSE, CCS, SP, ESEC/FSE, ISSTA, TOSEM, TSE, etc.
Recent representative works include path-sensitive sparse dataflow analysis (PLDI'18–PLDI'24), bug-type-specific detection (ICSE'19–SP'26), network protocol security (CCS'23–CCS'25), secure protocol parsers (ISSTA 2025), topology-based routing protocol security (CCS 2025), and language-agnostic static analysis (ICSE 2025)
Serves on the program committees of OOPSLA'26 and CCS'26
Supervised students whose papers were accepted at ASE 2025 and CCS 2025, with one receiving a national postgraduate scholarship
Co-authors
49 total
Charles Zhang
Professor of Computer Science, HKUST
Rongxin Wu
Xiamen University
Peisen Yao
Zhejiang University
Yang Feng
Nanjing University
Heqing HUANG
City University of Hong Kong
Xiao Xiao
Ant Group
Xiangyu Zhang
Samuel Conte Professor of Computer Science, Purdue University
Gang Fan
Ant Group