Scholar

Xin Zhang

Google Scholar ID: D9NJsrcAAAAJ

Assistant Professor, Peking University

Programming LanguagesSoftware EngineeringConstrained OptimizationProgram Analysis

Citations & Impact

All-time

Citations

570

H-index

i10-index

Publications

Co-authors

list available

Contact

No contact links provided.

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Academic Achievements

Published papers in top-tier venues including POPL, OOPSLA, ICSE, PLDI, SAS, ICML, AAAI, ASE, TSE, IJCAI, and NeurIPS
2025: Two papers conditionally accepted at POPL'26; two at OOPSLA'25; one at ASE'25; one TSE paper on Bayesian reasoning for fault localization
2024: Two papers at OOPSLA'24; one at AAAI'25
2022: Paper at ICSE'22
2021: Papers at SAS'21 and ICML'21
2019: Paper at OOPSLA'19
2018: Paper at NeurIPS'18
Recipient of the 2015–2016 Facebook Fellowship
Served on program committees for PLDI'21, IJCAI'21, SAS'19, and external review committee for PLDI'20

Co-authors

39 total