A Method for Constructing Fault Trees from AADL Models. - Yue Li 006; Yian Zhu; Chunyan Ma; Meng Xu 005 (ATC, 2011)

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)

Query-directed adaptive heap cloning for optimizing compilers. - Yulei Sui; Yue Li 006; Jingling Xue (CGO, 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)

Understanding and analyzing Java reflection. - Yue Li 006 (2016)

Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments. - Yifei Zhang 001; Tian Tan 001; Yue Li 006; Jingling Xue (CODASPY, 2017)

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)

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)

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)

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. - Zhiqiang Zuo 002; Yiyu Zhang; Qiuhong Pan; Shenming Lu; Yue Li 006; Linzhang Wang; Xuandong Li; Guoqing Harry Xu (PLDI, 2021)

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)

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. - Zewen Sun; Duanchen Xu; Yiyu Zhang; Yun Qi; Yueyang Wang; Zhiqiang Zuo 002; Zhaokang Wang; Yue Li 006; Xuandong Li; Qingda Lu; Wenwen Peng; Shengjian Guo (ESEC/SIGSOFT FSE, 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)

Scaling Inter-procedural Dataflow Analysis on the Cloud. - Zewen Sun; Yujin Zhang; Duanchen Xu; Yiyu Zhang; Yun Qi; Yueyang Wang; Yi Li; Zhaokang Wang; Yue Li 006; Xuandong Li; Zhiqiang Zuo 002; Qingda Lu; et al. (CoRR, 2024)

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)

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

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