Seguir
Kangjing Huang
Kangjing Huang
Dirección de correo verificada de purdue.edu
Título
Citado por
Citado por
Año
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
442020
Bootstrapping Library-Based Synthesis
K Huang, X Qiu
International Static Analysis Symposium, 272-298, 2022
42022
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5