Chengyu Zhang      Ph.D. Candidate

Software Engineering Institute

East China Normal University (ECNU)

Email: dale.chengyu.zhang AT gmail DOT com

Chengyu Zhang is a fifth-year Ph.D. student (expected to graduate in June 2021) 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 Outstanding 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
• Formal Methods

Project Yin-Yang for SMT Solver Testing: [Z3/CVC4 bugs: 1,306 (total) / 805 (fixed)]
[Reports: Semantic Fusion (YinYang), Type-aware Operator Mutation (OpFuzz)]

Selected Papers (all)

1. On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers.
   Dominik Winterer*, Chengyu Zhang* and Zhendong Su. (*: Equal contributions)
   In Proceedings of SPLASH/OOPSLA 2020.
   


2. Validating SMT Solvers via Semantic Fusion.
   Dominik Winterer*, Chengyu Zhang* and Zhendong Su. (*: Equal contributions)
   In Proceedings of PLDI 2020.     [ Slides / Video abstract ]
   
PLDI Distinguished Paper Award


3. Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts.
   Shuai Wang, Chengyu Zhang and Zhendong Su.
   In Proceedings of SPLASH/OOPSLA 2019.


4. Finding and Understanding Bugs in Software Model Checkers.
   Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu and Zhendong Su.
   In Proceedings of ESEC/FSE 2019 (acceptance rate: 24%, 74/303).    [ Slides / Reported bugs ]


5. 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 ICSE 2018, SEIP track (acceptance rate: 24%, 31/131).

Academic Services

• Artifact Evaluation Committee:
OSDI 2021, ISSTA 2021, ECOOP 2021, PLDI 2021, OOPSLA 2020, ECOOP 2020


• Reviewer:
ACM Transactions on Software Engineering and Methodology (TOSEM) 2021, 2020
Journal of Computer Science and Technology (JCST) 2020

Teaching Assistants

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

last modified: 2021.3.23