Yue Li

Yue Li is an Associate Professor at the School of Computer Science, Nanjing University, where they co-run the PASCAL Research Group with Tian Tan. Their work focuses on static program analysis techniques and tools for programming languages, software engineering, security, and hardware verification.

• PhD in Computer Science from UNSW Sydney (2016)
• Postdoctoral research at Aarhus University (Denmark) and UNSW Sydney
• B.Eng and M.Eng from Northwestern Polytechnical University (2010, 2012)

Research interests center on Program Analysis and Programming Languages, with a focus on:

• Pointer analysis for database-backed applications
• Context sensitivity optimization
• Reflection analysis in Java/Android
• Operational semantics for hardware languages
• Distributed dataflow analysis frameworks
• Developer-friendly static analysis tools

Key publication trends (2016-2025) span static analysis, pointer precision, reflection handling, and tool frameworks across conferences like OOPSLA, PLDI, ICSE, ISSTA, and journals including TOPLAS and IEEE TSE. Notable artifacts include Tai-e and Chianina systems.

• 2025: ICSE Best Artifact & Distinguished Paper Awards
• 2024: IEEE TSE Publication on Generic Sensitivity
• 2023: OOPSLA Distinguished Artifact, SPLASH/ECOOP committees
• 2021: National Youth Talent Support Program, ZiJin Scholar
• 2016: ECOOP Distinguished Paper, CGO Best Paper

As co-PI of PASCAL Research Group, they lead projects on precision-guided analysis, microservice systems, and cloud-based dataflow frameworks, with teaching awards for SICP and Software Analysis courses.