Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis. - Kangjing Huang; Xiaokang Qiu; Qi Tian; Yanjun Wang (CoRR, 2018)

Reconciling enumerative and deductive program synthesis. - Kangjing Huang; Xiaokang Qiu; Peiyuan Shen; Yanjun Wang (PLDI, 2020)

Bootstrapping Library-Based Synthesis. - Kangjing Huang; Xiaokang Qiu (SAS, 2022)