![Xin Zhang](https://popl18.sigplan.org/getProfileImage/xinzhang/6ee955ba-acb7-4b87-8a76-38a621210b4a/small.jpg?1711467684000)
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
POPL 2018-profile
View general profile
View general profile