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
Co-author 6
Xiangyu Zhang
Samuel Conte Professor of Computer Science, Purdue University
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up