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.

Work Experience

• Intern@DeepSeek

  2026.07 - present

Publications

Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis

Jinpeng Wang, Yufei Liang, Zhongsheng Zhan, Tian Tan, and Yue Li. (2026). Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis. Proceedings of the ACM on Programming Languages, 10(OOPSLA2). To appear.

Exploiting Sophisticated Static Analysis for Verilog

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, and Yue Li. (2026). Exploiting Sophisticated Static Analysis for Verilog. Proceedings of the ACM on Programming Languages, 10(PLDI), 1327-1355. https://doi.org/10.1145/3808300

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. (2023). The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. Proceedings of the ACM on Programming Languages, 7(OOPSLA2), 234-263. https://doi.org/10.1145/3622805

Talks

Verilator: The Fast Free Hardware Simulator

December 20, 2024

Talk at Introduction to Software Engineering Research, NJU

Teaching

Structure and Implementation of Computer Programs, 2025 Fall, TA

Structure and Implementation of Computer Programs, 2024 Fall, TA