Address: Room 1809, Science Building # 1, Peking University
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.
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.