Not registered as user yet

Name: Kangjing Huang

Affiliation: Purdue University, USA

Contributions

PLDI 2020 Author of Reconciling Enumerative and Deductive Program Synthesis within the PLDI Research Papers-track