Write a Blog >>
Xin Zhang

Registered user since Fri 26 Jun 2015

Name: Xin Zhang

Country: China

Affiliation: Georgia Tech

Personal website: http://www.cc.gatech.edu/~xzhang36/

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


POPL 2016Author of Query-Guided Maximum Satisfiability within the Research Papers-track
Show activities from other conferences

POPL 2016-profile
View general profile