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