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

SPLASH 2018Author of Relational Program Synthesis within the OOPSLA-track
Show activities from other conferences

Using general profile