Chuyang Chen (陈楚阳)

Bio

Chuyang Chen was born in Xiangyang, Hubei, China, in 1998. He received his BSc degree from the Department of Computer Science and Technology, Nanjing University, Jiangsu, China, in 2020. In the same year, he attended the MSc program in the same institution under the supervision of Professor Chang Xu and Assistant Researcher Huiyan Wang.

Research Interests

Chuyang Chen is passionate about software testing technologies, including fuzzing, metamorphic testing, and constraint checking. He also has a vast interest in related areas in the disciplines of computer science and mathematics, such as model checking, static analysis, and formal methods. Currently, he is pondering and closely monitoring the potential of large language models in software testing.

Selected Publications

[Full Publication List]

• Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, and Ping Yu. Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. In Proceedings of the 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), pp. 13–24, Charlotte, North Carolina, USA, Oct–Nov 2022. [pdf]
  [best paper candidate (3/48)]

Work Experience

Academic Jobs

• September 2022–March 2023: Teaching Assistant, Nanjing University
  • Service for Introduction to Computer Systems (2022 Fall)

Open-source Software

• March 2021–August 2021: Google Summer of Code 2021
  • One of the initial developers of the Rust integration for Enzyme AD, an LLVM automatic differentiation plugin

Honors and Awards

• First-class Merit Scholarship 英才奖学金一等奖 (Nanjing University, 2022)
• Third-class People's Scholarship 人民奖学金三等奖 (Nanjing University, 2019)
• First-class People's Scholarship 人民奖学金一等奖 (Nanjing University, 2018)

Hobbies

Strategy games, CRPGs, and roguelikes; reading, especially sci-fi and philosophy; indie music, mainly post-punk these days...