About me

I received my Ph.D. degree from University of Science and Technology of China in 2025, and B.E. degree from Hangzhou Dianzi University in 2017.

My research interests include programming language and software engineering.

Publications

  • Survey on Fuzzing Based on Large Language Model [link]
    Yan Li, Wenzhang Yang, Yi Zhang, Yinxing Xue. Journal of Software'2025
  • 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

Honors and Awards

  • Outstanding Graduate of USTC, 2025 [link]
  • Suzhou Industrial Park Scholarship, 2024 [link]
  • GDC Special Scholarship, 2024 [link]
    Global Digital Creations Technology Limited

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]

Services

  • 2024
    Reviewer for Inscrypt'24, SANER'25 (ERA), TOSEM