Xin Zhang

Registered user since Fri 26 Jun 2015

Name: Xin Zhang

Bio: 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.

Country: United States

Affiliation: Massachusetts Institute of Technology, USA

Personal website:

Research interests: Programming Languages, Operating Systems, and Software Engineering


PLMW @ PLDI 2018Presenter of Poster Session within the PLMW @ PLDI 2018-track
PLDI 2018Session Chair of Synthesis and Learning (part of PLDI Research Papers)
Committee Member in Program Committee
Show activities from other conferences

PLDI 2018-profile
View general profile