Ziteng Wang -

Registered user since Mon 11 Nov 2019

Name: Ziteng Wang

Affiliation: University of California at San Diego

Research interests: Programming Languages

Contributions

SPLASH 2020	Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track
POPL 2020	Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track Author of Test-based Solution Filtering for Program Synthesis within the Student Research Competition-track