Ziteng Wang -

Registered user since Mon 11 Nov 2019

Name:Ziteng Wang

Affiliation:University of California at San Diego

Personal website:https://wzt.me/

Research interests:Programming Languages

Contributions

SPLASH 2021	Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the SIGPLAN Papers-track
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