Concepedia

Chengyu Zhang

CZ

13

Publications

443

Citations

12

H-Index

2018

Active since

Affiliations

East China Normal University(Current)

Chengyu Zhang is an author at East China Normal University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware TestingSoftware AnalysisVerificationProgram AnalysisFormal VerificationSoftware EngineeringFuzzing

Publications per year

2018–2024

13

Publications

13

Detecting nondeterministic payment bugs in Ethereum smart contracts

Shuai Wang, Chengyu Zhang, Zhendong Su · Proceedings of the ACM on Programming Languages · 2019 · 82 citations · Full text

Software Maintenance, Engineering, Information Security +22

Validating SMT solvers via semantic fusion

Dominik Winterer, Chengyu Zhang, Zhendong Su · 2020 · 73 citations

Engineering, Semantic Fusion, Verification +17

On the unusual effectiveness of type-aware operator mutations for testing SMT solvers

Dominik Winterer, Chengyu Zhang, Zhendong Su · Proceedings of the ACM on Programming Languages · 2020 · 48 citations · Full text

DivLog: Log Parsing with Prompt Enhanced In-Context Learning

Junjielong Xu, Ruichun Yang, Yintong Huo et al. · 2024 · 45 citations

Syntactic Parsing, Engineering, Machine Learning +19

An FPGA-based online reconfigurable CNN edge computing device for object detection

Yu Wang, Yibing Liao, Jiamei Yang et al. · Microelectronics Journal · 2023 · 35 citations

Rows per page

1–5 of 13