Publications

You can also find my articles on my Google Scholar profile.

Conference Papers

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.

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

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