conf.researchr.org / Chengyu Zhang
Registered user since Thu 25 Jan 2018
Name:Chengyu Zhang
Bio:
Chengyu Zhang is a Lecturer (equivalent to Assistant Professor in the US) in the Department of Computer Science at Loughborough University, UK. Previously, he was a postdoctoral researcher in the Department of Computer Science at ETH Zurich (2022–2025), working with Prof. Zhendong Su. He received his Ph.D. and B.S. degrees with honors from East China Normal University (ECNU) (2012–2021), where he was advised by Prof. Geguang Pu. He was also a visiting Ph.D. student at ETH Zurich (2018–2019) and co-founded Shanghai Neoclub Information Technology Co., Ltd. (2015–2016).
Country:United Kingdom
Affiliation:Loughborough University
Personal website: http://www.chengyuzhang.com
X (Twitter): https://x.com/chengyuzh
GitHub: https://github.com/muchang
Research interests:Software Engineering, Programming Languages, Formal Methods
Contributions
2025
2024
ECOOP/ISSTA
2023
2022
2021
2020
SPLASH
- Author of On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers within the OOPSLA-track
- Session Chair of T-3 (part of OOPSLA)
- Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
- Author of On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers within the Posters-track