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

Personal website:

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


PLDI 2020Committee Member in External Review Committee within the PLDI Research Papers-track
SPLASH 2019Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track
PLMW @ PLDI 2018Presenter of Poster Session within the PLMW @ PLDI 2018-track
VMCAI 2018Author of Maximum Satisfiability in Program Analysis: Applications and Techniques within the VMCAI 2018-track
MAPL 2017Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track
PLDI 2018Session Chair of Synthesis and Learning (part of PLDI Research Papers)
Committee Member in Program Committee
SPLASH 2017Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track
PLDI 2017Committee Member in External Review Committee
SPLASH 2016Committee Member in Program Committee within the Posters-track
Programme Committee in Program Committee within the OOPSLA Artifacts-track
Author of Accelerating Program Analyses by Cross-Program Training within the OOPSLA-track
POPL 2016Author of Query-Guided Maximum Satisfiability within the Research Papers-track