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: http://people.csail.mit.edu/xzhang/

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

Contributions

PLDI 2018Session Chair of Synthesis and Learning (part of PLDI Research Papers)
Committee Member in Program Committee
Show activities from other conferences

Using general profile