Ruiyang Xu

Master Student

East China Normal University, China

E-mail: xry@stu.ecnu.edu.cn

Address: Room 607, Dishui Lake Building

---

Ruiyang Xu is a first-year master’s student supervised by Prof. Ting Su at East China Normal University. His research interests include but not limited to programming languages, compilers, program analysis, and testing.

Education

• Sep 2024 - Present. Master Degree in Software Engineering, East China Normal University
• Sep 2020 - Jul 2024. Bachelor Degree in Software Engineering, JiLin University

Conference Papers

• IFSE: Taming Closed-box Functions in Symbolic Execution via Fuzz Solving
  • Qichang Wang, Chuyang Chen (Co-first author), Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su
  • ICSE 2024 Demo Track, Source Repository, Presentation Video.

Work Experience

• Sep 2024 - Present. Teaching Assistant in Software Analysis, Testing and Verification
• May 2023- May 2024. Huawei Research Project (“Slicing Code Simulation Verification Technology”)
  • Working on symbolic execution, fuzzing and SMT solvers

Blog

Please see the table of contents for an overview of all my blog posts.