Xinyu Wang

Registered user since Mon 7 Sep 2015

Name:Xinyu Wang
Country:China
Affiliation:UT Austin
Research interests:Programming Languages

Contributions

POPL 2018 Program Synthesis using Abstraction Refinement
Show activities from other conferences

POPL 2018-profile
View general profile