Follow
Yanjun Wang
Yanjun Wang
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
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
52019
A decidable logic for tree data-structures with measurements
X Qiu, Y Wang
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
42019
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
32021
Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis
K Huang, X Qiu, Q Tian, Y Wang
arXiv preprint arXiv:1802.04428, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–10