I am a second-year MSc student supervised by Prof. Yue Li at PASCAL Research Group, Institute of Computer Software, Department of Computer Science and Technology, Nanjing University. I am broadly interested in the theory and implementation of programming languages and static analysis.

Education

• 2024.09 - present: Nanjing University, MSc in Computer Science.
• 2020.09 - 2024.06: Nanjing University, Bsc in Information and Computing Science.

Services

• Teaching Assistant: Structure and Implementation of Computer Programs (2025 Fall, 2026 Fall).

Work Experience

• 2026.07 - present: DeepSeek (intern)

Publication

• Valve Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis Jinpeng Wang, Yufei Liang, Zhongsheng Zhan, Tian Tan, Yue Li

  TL;DR: We reconsider object merging from the view of early flow confluence, making context-sensitive pointer analysis efficient (40x speedup on average) whith good precision (99.61% precision).

• Qihe Exploiting Sophisticated Static Analysis for Verilog Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lv, Yue Li

  TL;DR: We employed sophisticated static analysis to hardware for Verilog, based on a set of carefully designed fundamental and application analyses (Qihe).

• \(\lambda_V\) The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog Qinlin Chen; Nairen Zhang; Jinpeng Wang; Tian Tan; Chang Xu; Xiaoxing Ma; Yue Li

  TL;DR: We developed a tractable operational semantics for Verilog, based on which we built an interpreter that allows us to better understand Verilog semantics.