已发表成果:
WOK 论文 27 篇;中文核心 1 篇;
Falcon: A fused approach to path-sensitive sparse data dependence analysis
Learning to Detect Memory-related Vulnerabilities
LIBALCHEMY: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
Towards Effective and Efficient Error Handling Code Fuzzing Based on Software Fault Injection