期刊文章:

[1]Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis，TSE 2024，一作

[2]PEARL: A Multi-Derivation Approach to Efficient CFL-Reachability Solving，TSE 2024，通讯

[3]面向对象程序的上下文敏感指针分析研究，软件学报 2022，一作

会议文章：

[1]LoopSCC: Summarizing Complex Multi-branch Nested Loops via Periodic Oscillation Interval，ICSE 2026，共一

[2]Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification，OOPSLA 2025，通讯

[3]VulPA: Detecting Recurring Vulnerabilities with Multi-Object Typestate Analysis，FSE 2025，通讯

[4]Module-Aware Context Sensitive Pointer Analysis，ICSE 2025，一作

[5]Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers，OOPSLA 2024，一作

[6]Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications，CCS 2024，四作

[7]Better Not Together: Staged Solving for Context-Free Language Reachability，ISSTA 2024，通讯

[8]AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation，ICECCS 2024，二作

[9]Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-sensitivity Optimizations，CGO 2024，一作

[10]Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis，ASE 2023，通讯

[11]Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics，FSE 2022，一作

[12]Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems，CCS 2022，二作

[13]Scaling up the IFDS algorithm with efficient disk-assisted computing，CGO 2021，一作

[14]Performance-boosting sparsification of the IFDS algorithm with applications to taint analysis，ASE 2019，二作