| 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 | 45 | 2020 |
| Learning Network Design Objectives Using A Program Synthesis Approach Y Wang, C Jiang, X Qiu, SG Rao Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 69-76, 2019 | 5 | 2019 |
| Reasoning about recursive tree traversals Y Wang, J Liu, D Zhang, X Qiu Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021 | 4 | 2021 |
| A decidable logic for tree data-structures with measurements X Qiu, Y Wang Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 4 | 2019 |
| 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 |
| User-Assisted Code Query Optimization B Liblit, Y Lyu, R Mukherjee, O Tripp, Y Wang Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 2023 | | 2023 |
| Comparative Synthesis: Learning Near-Optimal Network Designs by Query Y Wang, Z Li, C Jiang, X Qiu, SG Rao Proceedings of the ACM on Programming Languages 7 (POPL), 91-120, 2023 | | 2023 |
| Towards More Scalable and Practical Program Synthesis Y Wang Purdue University Graduate School, 2022 | | 2022 |
| A Comparative Synthesis Approach to Optimal Network Designs with Indeterminate Objectives Y Wang, Z Li, C Jiang, X Qiu, SG Rao arXiv e-prints, arXiv: 2105.11620, 2021 | | 2021 |
| DRYADSYNTH: A Concolic SyGuS Solver K Huang, X Qiu, Y Wang | | |
Xiaokang QiuPurdue University在 purdue.edu 的电子邮件经过验证
Xiaokang QiuPurdue University在 purdue.edu 的电子邮件经过验证
Sanjay RaoPurdue University在 purdue.edu 的电子邮件经过验证