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.

Students

Ph.D.
  • Zhenyu Yan
Undergraduates
  • Junhao Liu
  • Yuanfeng Shi
  • Yaoxuan Wu

Teaching

  • Introduction to Probabilistic Programming (Fall 2021)

News

Sep 13, 2020
I am actively recruiting motivated Ph.D. students! If you're interested, please apply to our graduate program. If you're an undergraduate at Peking who wants to try out research, feel free to contact me!
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
New poster about conditioning on distributional properties in probablistic programming at PROBPROG'18.
Dec 2, 2017
Invited tutorial about our work on Maximum Satisfiability in Software Analysis at CAV'17 and VMCAI'18.
August 11, 2017
I will serve on the program committee of PLDI'18.
August 11, 2017
New paper at OOPSLA'17 on interactively resolving static analysis alarms.
April 25, 2017
New workshop paper at MAPL'17 on combining logical and probabilistic reasoning in program analysis.
April 12, 2017
I will serve on the program committee of APLAS'17.
March 28, 2017
I have been selected as a winner of the 2015-2016 Facebook Fellowship. Thank you, Facebook!