OOPSLA'23	The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma and Yue Li* ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Cascais, Portugal. Open-Source Tool (Available in Artifact) Distinguished Artifact Award
FSE'23	BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo*, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, and Shengjian Guo. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, San Francisco, United States.
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. (Open-Source Tool)
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