RUIYANG XU (徐瑞阳) PhD Student Software Engineering Institute, East China Normal University, China E-mail: xury2002@stu.ecnu.edu.cn (work) / xury106443@gmail.com (personal)

[About Me] [Education] [Selected Publications] [Experience] [ORCID] [?]

About Me

Ruiyang Xu is a third-year PhD student supervised by Prof. Ting Su at East China Normal University. Trained in software research, he is broadly interested in problems across research (e.g., compilers) and industrial software (e.g., lithography equipment), and approaches each with effective methodologies. He was selected for the CAST Young Scientific Talent Cultivation Program for PhD Students (博士生青培计划).

Education

• Sep 2025 - Present. PhD Degree in Software Engineering, East China Normal University
• Sep 2024 - Aug 2025. Master's degree in Software Engineering, East China Normal University
• Sep 2020 - Jul 2024. Bachelor's degree in Software Engineering, Jilin University

Selected Publications

• Property-Based Testing of Wafer Handling Robots via Model-Based Planning and Fuzzing
  • Ruiyang Xu, Jingjing Liang*, Guoyue Zheng, Geguang Pu, Ting Su*
  • ASE 2026, pdf, tool, slides
  • * Corresponding Author

[Full publication list]

Experience

• [Industry] Aug 2025 - Present. Intern at Shanghai Micro Electronics Equipment (SMEE)
  • 上海市经信委项目 ("集成电路装备高可信软件智算公共服务平台建设与应用示范", 技术骨干, 2026-27)
• [Open Source] Feb 2025 - Jul 2025. Contributor to WebAssembly open-source community
  • Working on fixing missed optimization bugs in Binaryen
• [Teaching] Sep 2024 - Dec 2024, Sep 2025 - Dec 2025. Teaching Assistant in Software Analysis, Testing and Verification
• [Industry] May 2023 - May 2024. Student Researcher (Huawei project)
  • 华为合作研究项目 ("切片代码仿真验证技术", 技术骨干, 2023-24)

[Back to Top]
Last updated on 2026-10-25