Write a Blog >>
Xin Zhang

Registered user since Fri 26 Jun 2015

Name:Xin Zhang
Country:China
Affiliation:Georgia Tech
Research interests:Programming Languages, Operating Systems, and Software Engineering

Contributions

POPL 2016 Query-Guided Maximum Satisfiability
Show activities from other conferences

POPL 2016-profile
View general profile