I am a researcher on programming language, formal method and software engineering.
-
Shandong University
- Qingdao
- https://zhongxingyu.github.io/
Popular repositories Loading
-
Java-Annotation-Study
Java-Annotation-Study PublicSource code and data about our large scale study about Java annotaion in practice
-
Solidity-Event-Study
Solidity-Event-Study PublicThis repository serves as the replication package for our ESEC/FSE 2023 paper "Understanding Solidity Event Logging Practices in the Wild"
-
test4repair-experiments
test4repair-experiments PublicForked from Spirals-Team/test4repair-experiments
Open-science repository about our experimental results on test generation for automatic program repair
Java
-
-
ethereumbook
ethereumbook PublicForked from ethereumbook/ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
JavaScript
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.