Kangjing Huang

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 3

Top Topics

Search Mechanism

Weakly Supervised

Integer Programming

Top Venues

Publications

Kangjing Huang, Xiaokang Qiu
Bootstrapping Library-Based Synthesis. SAS (2022)
Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang
Reconciling enumerative and deductive program synthesis. PLDI (2020)
Kangjing Huang, Xiaokang Qiu, Qi Tian, Yanjun Wang
Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis. CoRR (2018)