conf.researchr.org / Chengyu Zhang
Registered user since Thu 25 Jan 2018
Name:Chengyu Zhang
Bio:
Chengyu Zhang is a Lecturer (equivalent to an Assistant Professor in the US) in the Department of Computer Science at Loughborough University. His research spans software engineering, programming languages, and formal methods, with a focus on providing advanced testing and program analysis solutions to ensure the reliability of modern software.
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
2026
ESEC/FSE
2025
ASE
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