Yanjun Wang

Orcid: 0000-0002-9459-9813

Affiliations:

Purdue University, USA

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2023

Comparative Synthesis: Learning Near-Optimal Network Designs by Query.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2023

2021

Comparative Synthesis: Learning Optimal Programs with Indeterminate Objectives.

[BibT_eX]

[DOI]

CoRR, 2021

Reasoning about recursive tree traversals.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

2020

Reconciling enumerative and deductive program synthesis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Xiaokang Qiu

Yanjun Wang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Learning Network Design Objectives Using A Program Synthesis Approach.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 2019

2018

Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis.

[BibT_eX]

[DOI]

CoRR, 2018

Yanjun Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...