Xinyu Wang

Registered user since Mon 7 Sep 2015

Name: Xinyu Wang

Country: China

Affiliation: UT Austin

Personal website: https://www.cs.utexas.edu/~xwang

Research interests: Programming Languages

Contributions

POPL 2018Author of Program Synthesis using Abstraction Refinement within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile