ISSTA'23
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
Tian Tan and Yue Li*
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, USA.
To appear

PLDI'23
Context Sensitivity without Context: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Wenjie Ma, Shengyuan Yang, Tian Tan*, Xiaoxing Ma, Chang Xu and Yue Li*
44th ACM SIGPLAN Conference on Programming Language Design and Implementation, Orlando, 2023.
Open-Source Tool (Available in Artifact)

CRAD'23
Survey on Java Pointer Analysis (In Chinese) 《Java指针分析综述》
Tian Tan, Xiaoxing Ma, Chang Xu, Chunyan Ma and Yue Li*
Journal of Computer Research and Development (计算机研究与发展), 2023.
Invited Paper(邀稿论文)

CCCF'22
Talking About the PL Education in China (In Chinese) 《浅谈国内高校编程语言教育》
Yue Li
Communications of China Computer Federation (中国计算机学会通讯), 2022.
Invited Article(邀稿文章)(previously appeared at Zhihu in 2018)

OOPSLA'21
Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Tian Tan, Yue Li*, Xiaoxing Ma, Chang Xu and Yannis Smaragdakis
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Chicago, USA, 2021
Open-Source Tool   [code]

PLDI'21
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation, Virtual, 2021.

TOPLAS'20
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, 2020
Open-Source Tool   [code]

TOSEM'19
Understanding and Analyzing Java Reflection
Yue Li, Tian Tan and Jingling Xue
ACM Transactions on Software Engineering and Methodology, 2019
Open-Source Tool   [code]

OOPSLA'18
Precision-Guided Context Sensitivity for Pointer Analysis
Yue Li, Tian Tan, Anders Møller and Yannis Smaragdakis
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Boston, USA, 2018
Open-Source Tool   [code]  [ slides]

FSE'18
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Yue Li, Tian Tan, Anders Møller and Yannis Smaragdakis
26th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lake Buena Vista, USA, 2018
Open-Source Tool   [code]  [ slides]

SP&E'18
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments
Yifei Zhang, Yue Li, Tian Tan and Jingling Xue
Software: Practice and Experience, April, 2018.

ISSRE'17
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely
Jie Liu, Yue Li, Tian Tan and Jingling Xue
28th International Symposium on Software Reliability Engineering, Toulouse, France, 2017.
Best Paper Award Nominee

PLDI'17
Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
Tian Tan#, Yue Li# and Jingling Xue
(The authors with symbol # contributed equally to this work).
38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain, 2017.
Open-Source Tool   [code]   [ slides]

SAS'16
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, 2016.
Open-Source Tool   [code]   [ slides]

ECOOP'16
Program Tailoring: Slicing by Sequential Criteria
Yue Li#, Tian Tan#, Yifei Zhang and Jingling Xue
(The authors with symbol # contributed equally to this work).
30th European Conference on Object-Oriented Programming, Rome, Italy, 2016.
Open-Source Tool   [code]   [ slides]
Distinguished Paper Award

SAS'15
Effective Soundness-Guided Reflection Analysis
Yue Li, Tian Tan and Jingling Xue
22nd International Static Analysis Symposium, Saint-Malo, France, 2015.
Open-Source Tool   [code]   [ slides]

ECOOP'14
Self-Inferencing Reflection Resolution for Java
Yue Li, Tian Tan, Yulei Sui and Jingling Xue
28th European Conference on Object-Oriented Programming, Uppsala, Sweden, 2014.
Open-Source Tool   [code]   [ slides]

CGO'13
Query-Directed Adaptive Heap Cloning For Optimizing Compilers.
Yulei Sui, Yue Li and Jingling Xue
11th International Symposium on Code Generation and Optimization, Shenzhen, China, 2013.
Best Paper Award

ISSRE'12
What is System Hang and How to Handle it ?
Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen, Chunyan Ma
23rd IEEE International Symposium on Software Reliability Engineering, Dallas TX, USA, 2012.
Open-Source Tool   [ code]   [ readme]

ATC'11
A Method for Constructing Fault Trees from AADL Models
Yue Li, Yian Zhu, Chunyan Ma and Meng Xu
8th International Conference on Autonomic and Trusted Computing, Banff, Canada, 2011