Programming LAnguages
and StatiC AnaLysis Group

Publications

Download BibTeX.

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