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 (Sep 2022 - now), China
  • Studying for a Ph.D. Degree in Computer Science and Technology
  • Supervisor: Yue Li & Tian Tan
• Nanjing University (Sep 2020 - Jul 2022), China
  • Studying for a M.Sc. Degree in Computer Science and Technology
  • Advisor: Yanyan Jiang
• Nanjing University (Sep 2016 - Jul 2020), China
  • Recevied a B.Sc. Degree in Computer Science and Technology

Publications

• ChiSA: Static Analysis for Lightweight Chisel Verification. (POPL’26) (Artifact)
  • Jiacai Cui, Qinlin Chen, Zhongsheng Zhan, Tian Tan*, and Yue Li*.
• The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. (OOPSLA’23) (Artifact)
  • Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma, and Yue Li*.

Projects

• snap2exe
  • snap2exe aims to generate an ELF executable from a run-time snapshot of a process so that user can continue that process from where it was snapshoted by simply executing the genereated executable. It looks cool, so I implement it for fun.

Posts

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

Services

• Artifact Reviewer:
  • OOPSLA 2024 Artifact Evaluation Committee
• Teaching Assistant:
  • Static Program Analysis (Fall 2021), Nanjing University.
  • Structure and Interpretation of Computer Programs (Fall 2020), Nanjing University.

Awards & Honors

• OOPSLA 2024 Distinguished Artifact Reviewer Award
• OOPSLA 2023 Distinguished Artifact Award
• 2023年江苏银行奖学金 (Bank of Jiangsu Scholarship, 2023)
• 南京大学2020届优秀毕业生 (Outstanding Graduates Awards of Nanjing University, 2020)
• 2019年南京大学拔尖计划奖学金特等奖