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.