I am now a first-year Ph.D. student advised by Prof. Xin Zhang at Programming Languages Lab, Software Engineering Institute, School of Computer Science, Peking University. I am now interested in the combination of conventional program analysis and probabilistic graphical models (e.g., Bayesian network).

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. Yifan Zhang, Yuanfeng Shi, and Xin Zhang. Learning Abstraction Selection for Bayesian Program Analysis. ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2024), October 2024. [DOI] [Pre-print] [Artifact]

Honors

1. Gold medal in the 47-th International Collegiate Programming Contest (ICPC) Asia East Continent Final.
2. The 47-th International Collegiate Programming Contest (ICPC) World Finalist.