Publications

Download BibTeX.

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).