| 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
- 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
- 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 2023 Distinguished Artifact Award
- 2023年江苏银行奖学金 (Bank of Jiangsu Scholarship, 2023)
- 南京大学2020届优秀毕业生 (Outstanding Graduates Awards of Nanjing University, 2020)
- 2019年南京大学拔尖计划奖学金特等奖