SPLASH 2017 (series) / 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
SPLASH 2017 | Effective Interactive Resolution of Static Analysis Alarms | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2017-profile
View general profile
View general profile