Chengyu Zhang Ph.D. Student
School of Software Engineering
East China Normal University (ECNU)
Email: dale.chengyu.zhang AT gmail DOT com
Chengyu Zhang is a third-year Ph.D. student in East China Normal University (ECNU), Shanghai, China (2016-now), 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). Now, he is a visiting Ph.D. student in ETH Zurich and advised by Prof. Zhendong Su.
His research interests are in:
- Software Testing
- Symbolic Execution
- Program Analysis
Publications
- Detecting Heisenbugs in Ethereum Smart Contracts
Shuai Wang, Chengyu Zhang and Zhendong Su
In Proceedings of SPLASH/OOPSLA
OOPSLA 2019 (Conditionally accept) - Finding and Understanding Bugs in Software Model Checkers
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu and Zhendong Su
27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ESEC/FSE 2019 (acceptance rate: 24%, 74/303) Preprint Buglist - 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
40th International Confer
ence on Software Engineering
ICSE 2018 SEIP (acceptance rate: 24%, 31/131) PDF
Teaching Assistant
- Data Structures and Algorithms, 2018 Spring, ECNU