Write a Blog >>
SLE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
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
Research interests:Programming Languages, Operating Systems, and Software Engineering

Contributions

SPLASH 2019 Probabilistic Verification of Fairness Properties via Concentration
Show activities from other conferences

SPLASH 2019-profile
View general profile