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.

Publication

• \(\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.