Yunfan Zhang

Ph.D. Student
Programming Languages Lab
Software Engineering Institute
School of Computer Science
Peking University

Office: Room 1434, Science Building #1, Peking University
Email: zyf0726 AT pku {DOT} edu {DOT} cn
I am a Ph.D. student in Programming Languages Lab at Peking University, advised by Prof. Yingfei Xiong.

My research interests are mainly in program synthesis and software testing.

Education
Publications
  • Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, TaoXie. Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE'22: 37th IEEE/ACM International Conference on Automated Software Engineering, October 2022. [Paper] [Slide]