conf.researchr.org / Chengyu Zhang
Registered user since Thu 25 Jan 2018
Name:Chengyu Zhang
Bio:
Chengyu Zhang is a postdoctoral researcher in the Advanced Software Technologies (AST) Lab at ETH Zurich, mentored by Prof. Zhendong Su. Chengyu Zhang received both Ph.D. and B.S. degrees from East China Normal University (ECNU) with honours (2012-2021), supervised by Prof. Geguang Pu. He was the co-founder of Shanghai Neoclub Information Technology Co., Ltd. (2015-2016) and a visiting Ph.D. student at ETH Zurich (2018-2019).
Country:Switzerland
Affiliation:ETH Zurich
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
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