About me

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.

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.