Home

Reading List

Posts on Zhihu

Github

Qinlin Chen (陈钦霖)

• Ph.D. Student.
• Pascal Research Group, Institute of Computer Software.
• Department of Computer Science and Technology, Nanjing University.

Contact:

• Office: 529, Building of Computer Science and Technology, Xianlin Campus of Nanjing University.
• Email: chenqinlin98 AT gmail DOT com.

About

I am studying for a Ph.D. degree in the Pascal Research Group at Nanjing University. I am supervised by Yue Li (李樾). I have my interest in programming languages, software reliability methods, and infrastructure systems. Currently I am focusing on applying modern PL&SE techniques to hardware descrpition languages.

Education

• Nanjing University (2020.09 - now)
  • Studying for a Ph.D. Degree in Computer Science and Technology.
• Nanjing University (2016.09 - 2020.07)
  • Recevied a B.S. Degree in Computer Science and Technology.

Publications

• The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. (OOPSLA’23)
  • Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma and Yue Li*.

Posts

I wrote some posts on Zhihu for fun. Click here if you have any interests.

Awards & Honors

• 南京大学2020届优秀毕业生 (Outstanding Graduates Awards of Nanjing University, 2020)
• 2019年南京大学拔尖计划奖学金特等奖
• 2018年南京大学拔尖计划奖学金二等奖
• 2017年南京大学拔尖计划奖学金二等奖

Services

• Teaching Assistant:
  • Static Program Analysis (Fall 2021), Nanjing University.
  • Structure and Interpretation of Computer Programs (Fall 2020), Nanjing University.