About me
I am a third-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.
Honors & Awards
- Huatai Securities Science and Technology Scholarship.
- Graduate Academic Scholarship, First Prize.
- Special Scholarship for Basic Disciplines under the Strengthening Basic Disciplines Plan.
Work Experience
- Intern@DeepSeek2026.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), 1073-1102. https://doi.org/10.1145/3839485
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
Valve: Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis
Conference talk at OOPSLA 2026,
Verilator: The Fast Free Hardware Simulator
Talk at Introduction to Software Engineering Research, NJU