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 2016 Activities

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