Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yanjun Wang
conf.researchr.org general profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
POPL 2018 profile
POPL 2019 profile
POPL 2023 profile
PPoPP 2021 profile
SPLASH 2021 profile
Registered user since Sun 13 Jan 2019
Name:
Yanjun Wang
Country:
United States
Affiliation:
Amazon Web Services, USA
Contributions
2023
SOAP
Author of User-Assisted Code Query Optimization within the SOAP 2023-track
POPL
Author of Comparative Synthesis: Learning Near-Optimal Network Designs by Query within the POPL-track
2022
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
2021
SPLASH
Author of Reconciling Enumerative and Deductive Program Synthesis within the SIGPLAN Papers-track
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Principles and Practice of Parallel Programming
Author of Reasoning About Recursive Tree Traversals within the Main Conference-track
2020
PLDI
Author of Reconciling Enumerative and Deductive Program Synthesis within the PLDI Research Papers-track
2019
VMCAI
Author of A Decidable Logic for Tree Data-Structures with Measurements within the VMCAI 2019-track
2018
POPL
Presenter of A Decidable Logic for Tree Data-Structures with Measurements within the Student Research Competition-track
Share
x
Thu 21 Nov 11:43