Follow
Kangjing Huang
Kangjing Huang
Verified email at purdue.edu
Title
Cited by
Cited by
Year
Reconciling enumerative and deductive program synthesis
K Huang, X Qiu, P Shen, Y Wang
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
402020
Nonclassical non-Gaussian state of a mechanical resonator via selectively incoherent damping in a three-mode optomechanical system
K Huang, Y Yan, J Zhu, Y Xiao, G Li
Physical Review A 93 (3), 033832, 2016
42016
Bootstrapping Library-Based Synthesis
K Huang, X Qiu
International Static Analysis Symposium, 272-298, 2022
22022
Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis
K Huang, X Qiu, Q Tian, Y Wang
arXiv preprint arXiv:1802.04428, 2018
12018
DRYADSYNTH: A Concolic SyGuS Solver
K Huang, X Qiu, Y Wang
The system can't perform the operation now. Try again later.
Articles 1–5