Yunfan Zhang

Ph.D., Computer Software and Theory (2026)
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 received my Ph.D. from the 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, Tao Xie. 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]