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 Z├╝rich
Research interests:Software Engineering, Programming Languages, Formal Methods

Contributions

ESEC/FSE 2023 Committee Member in Program Committee within the Research Papers-track
ECOOP 2023 PC Member in Program Committee within the Research Papers-track
ECOOP 2022 Committee Member in Extended Review Committee within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2021 Author of Generative Type-Aware Mutation for Testing SMT Solvers within the OOPSLA-track
ECOOP 2021 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
ISSTA 2021 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2021 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2020 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
ECOOP 2020 Committee Member in Artifact Evaluation Committee within the Artifacts-track
ICSE 2020 Author of Stress Testing SMT Solvers via Type-aware Mutation within the ACM Student Research Competition-track
PLDI 2020 Author of Validating SMT Solvers via Semantic Fusion within the PLDI Research Papers-track
SPLASH 2019 Author of Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts within the OOPSLA-track
* ICSE 2018 * Author of SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry within the SEIP - Software Engineering in Practice-track