Chengyu Zhang      Ph.D. Student

Software Engineering Institute

East China Normal University (ECNU)

Email: dale.chengyu.zhang AT gmail DOT com

Chengyu Zhang is a fourth-year Ph.D. student at East China Normal University (ECNU), Shanghai, China (2016-present), and supervised by Prof. Geguang Pu. He received his B.S. degree from East China Normal University with Excellent Graduate Award (2012-2016). He was the co-founder of Shanghai Neoclub Information Technology Co., Ltd. (2015-2016). He was a visiting Ph.D. student at ETH Zurich (2018-2019) and supervised by Prof. Zhendong Su.

His research interests are in:

  • Software Testing
  • Symbolic Execution
  • Program Analysis


  1. Validating SMT Solvers via Semantic Fusion
    Dominik Winterer*, Chengyu Zhang* and Zhendong Su (*: Equal contribution)
    In Proceedings of 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
    PLDI 2020 (conditionally accepted)
  2. Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
    Shuai Wang, Chengyu Zhang and Zhendong Su
    In Proceedings of SPLASH/OOPSLA
    OOPSLA 2019
  3. Finding and Understanding Bugs in Software Model Checkers
    Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu and Zhendong Su
    In Proceedings of 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    ESEC/FSE 2019 (acceptance rate: 24%, 74/303)    Slides / Reported bugs
  4. SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
    Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao and Geguang Pu
    In Proceedings of 40th International Conference on Software Engineering
    ICSE 2018 SEIP (acceptance rate: 24%, 31/131)

Teaching Assistant

  • Compiler Design, 2019 Fall, ETH Zurich
  • Data Structures and Algorithms, 2018 Spring, ECNU

Academic Services

  • ECOOP 2020, Artifact Evaluation Committee