About me
I am currently a Ph.D. candidate working with Prof.Yinxing Xue in the Department of Computer Science & Technology, University of Science and Technology of China. Prior to that, I received my B.E from Hangzhou Dianzi University in 2017.
My research interests include programming language and software engineering.
Publications
- Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation [preprint]
Wenzhang Yang, Linhai Song and Yinxing Xue. ICSE'2024 - sGuard+: Machine Learning Guided Rule-based Automated Vulnerability Repair on Smart Contracts
Cuifeng Gao, Wenzhang Yang, Jiaming Ye, Yinxing Xue, Jun Sun. TOSEM'2023
Projects
- Static Analysis for Unreachable Functions in GCC-Rust [detail]
- Java2Js Transpiler for Multiple Thread [github]