Kangjing Huang

According to our database, Kangjing Huang authored at least 3 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Bootstrapping Library-Based Synthesis.

Kangjing Huang, Xiaokang Qiu

Proceedings of the Static Analysis - 29th International Symposium, 2022

2020

Reconciling enumerative and deductive program synthesis.

Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018

Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis.

Kangjing Huang, Xiaokang Qiu, Qi Tian, Yanjun Wang

CoRR, 2018