Yanjun Wang

Orcid: 0000-0002-9459-9813

Affiliations:
  • Purdue University, USA


According to our database1, Yanjun Wang authored at least 7 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Comparative Synthesis: Learning Near-Optimal Network Designs by Query.
Proc. ACM Program. Lang., January, 2023

2021
Comparative Synthesis: Learning Optimal Programs with Indeterminate Objectives.
CoRR, 2021

Reasoning about recursive tree traversals.
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

2020
Reconciling enumerative and deductive program synthesis.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
A Decidable Logic for Tree Data-Structures with Measurements.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Learning Network Design Objectives Using A Program Synthesis Approach.
Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 2019

2018
Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis.
CoRR, 2018


  Loading...