What Is System Hang and How to Handle It. - Yian Zhu; Yue Li 006; Jingling Xue; Tian Tan 001; Jialong Shi; Yang Shen; Chunyan Ma (ISSRE, 2012)

An If-While-If Model-Based Performance Evaluation of Ranking Metrics for Spectra-Based Fault Localization. - Chunyan Ma; Tian Tan 001; Yibo Chen; Yunwei Dong (COMPSAC, 2013)

Self-inferencing Reflection Resolution for Java. - Yue Li 006; Tian Tan 001; Yulei Sui; Jingling Xue (ECOOP, 2014)

Effective Soundness-Guided Reflection Analysis. - Yue Li 006; Tian Tan 001; Jingling Xue (SAS, 2015)

Program Tailoring: Slicing by Sequential Criteria. - Yue Li 006; Tian Tan 001; Yifei Zhang 001; Jingling Xue (ECOOP, 2016)

Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. - Tian Tan 001; Yue Li 006; Jingling Xue (SAS, 2016)

Program Tailoring: Slicing by Sequential Criteria (Artifact). - Tian Tan 001; Yue Li 006; Yifei Zhang 001; Jingling Xue (Dagstuhl Artifacts Ser., 2016)

Reflection Analysis for Java: Uncovering More Reflective Targets Precisely. - Jie Liu 020; Yue Li 006; Tian Tan 001; Jingling Xue (ISSRE, 2017)

Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. - Tian Tan 001; Yue Li 006; Jingling Xue (PLDI, 2017)

Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction. - Tian Tan 001 (2017)

Scalability-first pointer analysis with self-tuning context-sensitivity. - Yue Li 006; Tian Tan 001; Anders Møller; Yannis Smaragdakis (ESEC/SIGSOFT FSE, 2018)

Precision-guided context sensitivity for pointer analysis. - Yue Li 006; Tian Tan 001; Anders Møller; Yannis Smaragdakis (Proc. ACM Program. Lang., 2018)

Ripple: Reflection analysis for Android apps in incomplete information environments. - Yifei Zhang 001; Yue Li 006; Tian Tan 001; Jingling Xue (Softw. Pract. Exp., 2018)

Understanding and Analyzing Java Reflection. - Yue Li 006; Tian Tan 001; Jingling Xue (ACM Trans. Softw. Eng. Methodol., 2019)

A Principled Approach to Selective Context Sensitivity for Pointer Analysis. - Yue Li 006; Tian Tan 001; Anders Møller; Yannis Smaragdakis (ACM Trans. Program. Lang. Syst., 2020)

Making pointer analysis more precise by unleashing the power of selective context sensitivity. - Tian Tan 001; Yue Li 006; Xiaoxing Ma; Chang Xu 001; Yannis Smaragdakis (Proc. ACM Program. Lang., 2021)

Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics. - Tian Tan 001; Yue Li 006 (CoRR, 2022)

Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. - Tian Tan 001; Yue Li 006 (ISSTA, 2023)

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. - Wenjie Ma; Shengyuan Yang; Tian Tan 001; Xiaoxing Ma; Chang Xu 001; Yue Li 006 (Proc. ACM Program. Lang., 2023)

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. - Qinlin Chen; Nairen Zhang; Jinpeng Wang; Tian Tan 001; Chang Xu 001; Xiaoxing Ma; Yue Li 006 (Proc. ACM Program. Lang., 2023)

Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis. - Haofeng Li; Tian Tan 001; Yue Li 006; Jie Lu 009; Haining Meng; Liqing Cao; Yongheng Huang; Lian Li 002; Lin Gao 002; Peng Di; Liang Lin; ChenXi Cui (IEEE Trans. Software Eng., 2024)

PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps. - Menglong Chen; Tian Tan 001; Minxue Pan; Yue Li 006 (ICSE, 2025)

Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs. - Chenxi Zhang; Yufei Liang; Tian Tan 001; Chang Xu 001; Shuangxiang Kan; Yulei Sui; Yue Li 006 (ICSE, 2025)

Pointer Analysis for Database-Backed Applications. - Yufei Liang; Teng Zhang; Ganlin Li; Tian Tan 001; Chang Xu 001; Chun Cao; Xiaoxing Ma; Yue Li 006 (Proc. ACM Program. Lang., 2025)

Bridge the Islands: Pointer Analysis for Microservice Systems. - Teng Zhang; Yufei Liang; Ganlin Li; Tian Tan 001; Chang Xu 001; Yue Li 006 (Proc. ACM Softw. Eng., 2025)