Hello, I am Xin Zhang (pronunciation ≈ "shin chang"), an assistant professor at Peking University. Before joining Peking, I was a postdoctoral associate at MIT CSAIL working with Prof. Armando Solar-Lezama. I received my Ph.D. from Georgia Tech under the supervision of Prof. Mayur Naik. I am broadly interested in topics related to programming languages and software engineering. For details, please see Research.
Ph.D.
  • Zhenyu Yan
  • Junhao Liu
  • Yuanfeng Shi
Undergraduates
  • Tianchi Li
  • Yifan Zhang (BUAA)
Alumni
  • Yaoxuan Wu (Ph.D. Student@UCLA)
  • Introduction to Probabilistic Programming (Spring 2024)
  • Algebraic Structure and Combinatorial Mathematics (Spring 2022)
March 2022
I have two openings for Ph.D. students this year. If you're interested in topics related to program analysis, program synthesis, and reliable machine learning, please apply to our program and contact me!
Feb 2022
New paper on applying Bayesian methods to semantics-based fault localization at ICSE'22.
July 2021
New paper on accelerating static analyses at SAS'21.
May 2021
New paper on supporting causal inference in probabilistic programming at ICML'21.
Sep 1, 2020
I will serve on the program committees of PLDI'21 and IJCAI'21. Please consider submitting to them!
Oct 1, 2019
New paper at OOPSLA'19 on scalable verification of algorithmic fairness.
Aug 15, 2019
I will serve on the external review committee of PLDI'20. Please consider submitting.
Feb 15, 2019
I will serve on the program committee of SAS'19. Please consider submitting.
Sep 4, 2018
New paper on providing actional explanations to judgments produced by a neural network at NIPS'18.
Aug 8, 2018
I have been selected as a winner of the 2015-2016 Facebook Fellowship. Thank you, Facebook!