Address: 32-G716, 77 Massachusetts Avenue, Cambridge, MA 02139, USA
Phone: 706-N51-767N ("N" = "9")
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 refer to Research.
I received my Ph.D. from Georgia Tech under the supervision of Prof. Mayur Naik.
Dec 2, 2017
Invited tutorial about our work on Maximum Satisfiability in Software Analysis at CAV'17 and VMCAI'18.