Registered user since Fri 26 Jun 2015
Xin Zhang is a postdoctoral associate at MIT. He is broadly interested in research topics related to programming languages and software engineering, including program analysis, program verification, program synthesis, mobile-cloud computing, and approximate computing.
|PLMW @ PLDI 2018||Poster Session|
|PLDI 2018|| Session Chair of Synthesis and Learning (part of PLDI Research Papers)|
Committee Member in Program Committee
|Show activities from other conferences|
View general profile