Write a Blog >>
Jiaxiao Zhou

Registered user since Tue 12 Nov 2019

Name:Jiaxiao Zhou
Affiliation:University of California, San Diego
Research interests:Programming Language

Contributions

POPL 2020 Program Synthesis by Type-Guided Abstraction Refinement
Show activities from other conferences

POPL 2020-profile
View general profile