conf.researchr.org / Chaozhe Kong
Not registered as user yet
Name:Chaozhe Kong
Country:China
Affiliation:Peking University
Contributions
| SPLASH 2023 | Author of Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection within the OOPSLA-track |