Yue Li (李樾)

I am an Associate Professor of the School of Computer Science at Nanjing University, where Tian Tan and I co-run the PASCAL Research Group. We develop static program analysis techniques and tools for solving the problems in programming languages, software engineering, security and hardware.

Before joining Nanjing University, I was a postdoc advised by Prof. Anders Møller at Aarhus University, Denmark (2017 - 2019), and University of New South Wales, Australia (UNSW Sydney) (2016 - 2017). I received my PhD degree in Computer Science, advised by Prof. Jingling Xue, from UNSW Sydney in 2016, and B.Eng degree in Software Engineering and M.Eng degree in Computer Science from Northwestern Polytechnical University in 2010 and 2012, respectively.

Selected Papers

• Pointer Analysis for Database-Backed Applications (PLDI'25)
• PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps (ICSE'25)
• Bridge the Islands: Pointer Analysis for Microservice Systems (ISSTA'25)
• The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog (OOPSLA'23)
• Context Sensitivity without Context: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis (PLDI'23)
• Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics (ISSTA'23)
• Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity (OOPSLA'21)
• A Principled Approach to Selective Context Sensitivity for Pointer Analysis (TOPLAS'20)
• Understanding and Analyzing Java Reflection (TOSEM'19)
• Precision-Guided Context Sensitivity for Pointer Analysis (OOPSLA'18)
• Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata (PLDI'17)