I am a third-year Ph.D. student advised by Prof. Xin Zhang at Programming Languages Lab, Software Engineering Institute, School of Computer Science, Peking University. My research focuses on leveraging intelligent approaches, including Bayesian models and large language models, to enhance static analysis and software testing.

Education

1. 2019-09-03 to 2023-06-17, Beihang University, B.E. in Computer Science and Technology.
2. 2023-09-04 to present, Peking University, Ph.D. in Computer Software and Theory.

Publications

1. Learning Abstraction Selection for Bayesian Program Analysis
   Yifan Zhang, Yuanfeng Shi, and Xin Zhang
   ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2024), October 2024
   [DOI] [Pre-print] [Artifact] [Video] [Slides] [Poster]
2. On Abstraction Refinement for Bayesian Program Analysis
   Yuanfeng Shi, Yifan Zhang, and Xin Zhang
   ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2025), October 2025
   [DOI]
3. Fuzzing Guided by Bayesian Program Analysis
   Yifan Zhang and Xin Zhang
   ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026), January 2026
4. Beyond Imprecise Distance Metrics: LLM-Predicted Target Call Stacks for Directed Greybox Fuzzing
   Yifan Zhang and Xin Zhang
   Under submission
   [Pre-print]

Selected Honors

1. Gold medal in the 47-th International Collegiate Programming Contest (ICPC) Asia East Continent Final.
2. Rank 36-th in the 47-th International Collegiate Programming Contest (ICPC) World Finals. [My competitive programming retirement record in Chinese]