Posts by Collection

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

publications

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog

Published in OOPSLA, 2023

This paper is about the formal operational semantics of Verilog.

Recommended citation: 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
Download Paper | Download Bibtex

Exploiting Sophisticated Static Analysis for Verilog

Published in PLDI, 2026

This paper is about the static analysis for Verilog.

Recommended citation: 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
Download Paper | Download Bibtex

Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis

Published in OOPSLA, 2026

This paper is about efficient heap abstraction for pointer analysis.

Recommended citation: 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.

talks

Verilator: The Fast Free Hardware Simulator

Published: December 20, 2024

This is a course presentation talk about a widely-used tool, Verilator, which is a fast free hardware simulator that serves as the foundation of hardware design and verification.

teaching

Structure and Implementation of Computer Programs, 2024 Fall, TA

Undergraduate course, Nanjing University, Computer Science, 2024

My first experience as a teaching assistant for a freshmen-year course. The course website can be found here

Structure and Implementation of Computer Programs, 2025 Fall, TA

Undergraduate course, Nanjing University, Computer Science, 2025

I continued to be one of the teaching assistants for SICP in 2025, which is again cool. The course website can be found here