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