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

Personal website:http://www.chengyuzhang.com

Twitter:https://twitter.com/chengyuzh

GitHub:https://github.com/muchang

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