Xin Zhang

Xin Zhang serves as an Assistant Professor in the Department of Computer Science and Technology within the School of Electronics Engineering and Computer Science at Peking University. His academic profile demonstrates deep engagement with programming languages and software engineering research communities through active participation in major conferences including ASE, SPLASH/OOPSLA, PLDI, and ICSE.

Dr. Zhang's research focuses on the synergistic relationship between program analysis and machine learning. He investigates how ML/AI techniques can enhance traditional program analysis methods while simultaneously developing program analysis approaches to improve the interpretability, fairness, robustness, and safety of AI systems. His work spans probabilistic program analysis, abstraction refinement techniques, Bayesian modeling for program semantics, and applications of graph neural networks to static analysis problems.

His publication record shows consistent contributions to top venues from 2016 through 2025, with recent work emphasizing Bayesian program analysis, abstraction refinement methods, and the intersection of formal methods with machine learning. The trajectory of his research demonstrates increasing sophistication in combining traditional program analysis techniques with modern AI approaches.

Dr. Zhang actively contributes to the academic community as a program committee member for major conferences including ASE, SAS, PLDI, and SPLASH. His service includes reviewing, session chairing, and committee participation across multiple venues, reflecting his standing in the programming languages and software engineering communities.