| 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 | 42 | 2020 |
| 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 | 4 | 2016 |
| Bootstrapping Library-Based Synthesis K Huang, X Qiu International Static Analysis Symposium, 272-298, 2022 | 3 | 2022 |
| Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis K Huang, X Qiu, Q Tian, Y Wang arXiv preprint arXiv:1802.04428, 2018 | 1 | 2018 |
| DRYADSYNTH: A Concolic SyGuS Solver K Huang, X Qiu, Y Wang | | |
