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
Conference Papers
- IFSE: Taming Closed-box Functions in Symbolic Execution via Fuzz Solving, ICSE 2024
- Qichang Wang, Chuyang Chen (Co-first author), Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su
- Paper, Code, 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.