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-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation [preprint]
  Wenzhang Yang, Cuifeng Gao, Xiaoyuan Liu, Yuekang Li, Yinxing Xue. ASE'2024
• 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 [preprint]
  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] [preprint]

Talks

• Analysis of V8 Snapshot [video]
  
• Analysis of Several JS Builtin Functions by V8 Torque [video]
  
• Dive into V8 Torque [video]
  

Honors and Awards

• GDC Special Scholarship, 2024 [link]
  Global Digital Creations Technology Limited