I have moved!
Hello, I am Xin Zhang (pronunciation ≈ "shin chang"), a final-year Ph.D student at Georgia Tech, and a visiting scholar at University of Pennsylvania. I work with Prof. Mayur Naik. I am broadly interested in topics related to programming languages and software engineering. For details, please refer to Research. I am supported by a Facebook Fellowship.
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 reports.
May 6, 2017
Invited tutorial about our work on Maximum Satisfiability in Software Analysis at CAV'17.
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!