Programming LAnguages
and StatiC AnaLysis Group

Publications

Download BibTeX.

ISSTA
2023
PDF 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
PDF 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
PDF 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
PDF 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
PDF Understanding and Analyzing Java Reflection.
Yue Li, Tian Tan, and Jingling Xue.
ACM Transactions on Software Engineering and Methodology 28(2).
ESEC/FSE
2018
PDF 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
PDF 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
PDF 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
PDF 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
PDF 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
PDF 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
PDF 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).