I have moved!

Hello, I am Xin Zhang (pronunciation ≈ "shin chang"), a postdoctoral researcher at MIT. I work with Prof. Armando Solar-Lezama. I am broadly interested in topics related to programming languages and software engineering. For details, please see Research. I received my Ph.D. from Georgia Tech under the supervision of Prof. Mayur Naik.
Feb 11, 2020
Tentative travel plan for the spring:
  • University of Maryland
  • University of Michigan
  • McGill University
  • National University of Singapore
  • Carnegie Mellon University
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!