Bio
Chuyang Chen is a first-year PhD student who joined
Prof. Zhiqiang Lin's
team at The Ohio State University in August 2024. He got his MSc degree from Nanjing University in 2023 after three
happy years advised by
Prof. Chang Xu and
Asst. Prof. Huiyan Wang. Before that, he got his BSc degree also from
Nanjing University in 2020. He will always cherish the seven years in Nanjing.
Research Interests
Chuyang Chen is passionate about theories and techniques at the intersection of cybersecurity, programming languages
and software engineering. Specifically, he focuses on the so-called
semantic gap
problem, i.e., how to go
back and forth between different programming languages and specifications such as from C programs to Rust programs
or from the bytecode of a Java method to its pre-/post-conditions. He is also closely monitoring and pondering what
LLMs can do in the software world.
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
- July 2023–May 2024: Research Assistant, East China Normal University
- Working on metamorphic testing, symbolic execution and SMT solvers in Prof. Ting Su's group
- September 2022–March 2023: Teaching Assistant, Nanjing University
Open-source Software
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; philosophical books and weird fictions such as Thomas Pynchon; lying flat
(躺平) in his dreams.
Last updated on August 20, 2024.