Xin Zhang

Registered user since Fri 26 Jun 2015

Name:Xin Zhang

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.

Affiliation:Peking University
Personal website:
Research interests:Programming Languages, Operating Systems, and Software Engineering


HOPE 2021 Author of Dynamic Scope + Laziness = Counterfactuals within the HOPE 2021-track
APLAS 2021 Committee Member in Program Committee within the Research Papers-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
SPLASH 2019 Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track
PLMW @ PLDI 2018 Presenter of Poster Session within the PLMW @ PLDI 2018-track
VMCAI 2018 Author of Maximum Satisfiability in Program Analysis: Applications and Techniques within the VMCAI 2018-track
MAPL 2017 Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track
PLDI 2018 Session Chair of Synthesis and Learning (part of PLDI Research Papers)
Committee Member in Program Committee
SPLASH 2017 Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track
PLDI 2017 Committee Member in External Review Committee
SPLASH 2016 Committee Member in Program Committee within the Posters-track
Programme Committee in Program Committee within the OOPSLA Artifacts-track
Author of Accelerating Program Analyses by Cross-Program Training within the OOPSLA-track
POPL 2016 Author of Query-Guided Maximum Satisfiability within the Research Papers-track