conf.researchr.org / Xin Zhang
Registered user since Fri 26 Jun 2015
Name:Xin Zhang
Bio:
Xin Zhang is an Assistant Professor at the Department of Computer Science and Technology, the School of Electronics Engineering and Computer Science, Peking University. While he is broadly interested in topics related to programming languages (PL) and software engineering (SE), his current focus is on program analysis and its interplay with machine learning (ML) and artificial intelligence (AI). On one hand, he leverages ideas from ML/AI to build better program analyses. On the other hand, he develops program analyses and languages for improving intepretability, fairness, robustness, and safety of ML/AI systems.
Country:China
Affiliation:Peking University
Personal website: http://xinpl.github.io/
Research interests:Programming Languages, Operating Systems, and Software Engineering
Contributions
2024
SPLASH
- Session Chair of Probabilistic Programming and Analysis 2 (part of OOPSLA 2024)
- Author of Learning Abstraction Selection for Bayesian Program Analysis within the OOPSLA 2024-track
- Author of Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks within the OOPSLA 2024-track
- Committee Member in Review Committee within the OOPSLA 2024-track