Publications

Download BibTeX.

PLDI 2025	Pointer Analysis for Database-Backed Applications. Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan*, Chang Xu, Chun Cao, Xiaoxing Ma, and Yue Li*. 46th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seoul, South Korea, June 2025 (Conditionally accepted).
ICSE 2025	PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps. Menglong Chen, Tian Tan*, Minxue Pan, and Yue Li*. 47th IEEE/ACM International Conference on Software Engineering, Ottawa, Canada, April 2025 (To appear). Best Artifact Award 🏅
ICSE 2025	Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs. Chenxi Zhang, Yufei Liang, Tian Tan*, Chang Xu, Shuangxiang Kan, Yulei Sui, and Yue Li*. 47th IEEE/ACM International Conference on Software Engineering, Ottawa, Canada, April 2025 (To appear). Distinguished Paper Award 🏅
ISSTA 2025	Bridge the Islands: Pointer Analysis for Microservice Systems. Teng Zhang, Yufei Liang, Ganlin Li, Tian Tan*, Chang Xu, and Yue Li*. 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, Trondheim, Norway, June 2025 (To appear).
OOPSLA 2023	Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma, and Yue Li*. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Cascais, Portugal, October 2023. Distinguished Artifact Award 🏅
ISSTA 2023	Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. Tian Tan and Yue Li. Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, July 17--21, 2023, Seattle, WA, USA (ISSTA).
PLDI 2023	Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, and Yue Li. Proceedings of the ACM on Programming Languages 7(PLDI).
OOPSLA 2021	Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity. Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis. Proceedings of the ACM on Programming Languages 5(OOPSLA).
TOPLAS 2020	A Principled Approach to Selective Context Sensitivity for Pointer Analysis. Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis. ACM Transactions on Programming Languages and Systems.
TOSEM 2019	Understanding and Analyzing Java Reflection. Yue Li, Tian Tan, and Jingling Xue. ACM Transactions on Software Engineering and Methodology 28(2).
ESEC/FSE 2018	Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity. Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis. Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Lake Buena Vista, FL, USA, November 04-09, 2018 (ESEC/FSE).
OOPSLA 2018	Precision-Guided Context Sensitivity for Pointer Analysis. Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis. Proceedings of the ACM on Programming Languages 2(OOPSLA).
PLDI 2017	Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata. Tian Tan, Yue Li, and Jingling Xue. Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain, June 18-23, 2017 (PLDI).
SAS 2016	Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. Tian Tan, Yue Li, and Jingling Xue. 23rd International Static Analysis Symposium, Edinburgh, UK, September 8-10, 2016, Proceedings (SAS).
ECOOP 2016	Program Tailoring: Slicing by Sequential Criteria. Yue Li, Tian Tan, Yifei Zhang, and Jingling Xue. 30th European Conference on Object-Oriented Programming, July 18-22, 2016, Rome, Italy (ECOOP). Distinguished Paper Award 🏅
SAS 2015	Effective Soundness-Guided Reflection Analysis. Yue Li, Tian Tan, and Jingling Xue. 22nd International Static Analysis Symposium, Saint-Malo, France, September 9-11, 2015, Proceedings (SAS).
ECOOP 2014	Self-inferencing Reflection Resolution for Java. Yue Li, Tian Tan, Yulei Sui, and Jingling Xue. 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings (ECOOP).