• Sign in
  • Sign up
conf.researchr.org / Yanjun Wang
  • 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
No Photo

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
xWed 21 May 21:58
using conf.researchr.org (v1.69.0)
Support page
Sign Up