Write a Blog >>
Ziteng Wang

Registered user since Mon 11 Nov 2019

Name: Ziteng Wang

Affiliation: University of California, San Diego

Research interests: Programming Languages

Contributions

POPL 2020Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track
Show activities from other conferences

Using general profile