Yanjun Wang
Yanjun Wang
Dirección de correo verificada de
Citado por
Citado por
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
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
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
A decidable logic for tree data-structures with measurements
X Qiu, Y Wang
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis
K Huang, X Qiu, Q Tian, Y Wang
arXiv preprint arXiv:1802.04428, 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
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
Towards More Scalable and Practical Program Synthesis
Y Wang
Purdue University Graduate School, 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
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–10