Write a Blog >>
Ziteng Wang

Registered user since Mon 11 Nov 2019

Name: Ziteng Wang

Affiliation: University of California, San Diego

Personal website: https://wzt.me/

Research interests: Programming Languages

Contributions

POPL 2020 Program Synthesis by Type-Guided Abstraction Refinement
Test-based Solution Filtering for Program Synthesis
Show activities from other conferences

POPL 2020-profile
View general profile