Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wenjia Ye
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP 2025 profile
ECOOP and ISSTA 2021 profile
PLDI 2025 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Fri 30 Apr 2021
Name:
Wenjia Ye
Country:
Singapore
Affiliation:
National University of Singapore
Contributions
2025
ECOOP
Committee Member in Programme Committee within the Technical Papers-track
PLDI
Author of Principal Type Inference under a Prefix: A Fresh Look at Static Overloading within the PLDI Research Papers-track
2024
SPLASH
Author of Merging Gradual Typing within the OOPSLA 2024-track
Author of Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing within the OOPSLA 2024-track
2023
SPLASH
Author of A Gradual Probabilistic Lambda Calculus within the OOPSLA-track
2022
ECOOP
Committee Member in Extended Review Committee within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track
2021
ECOOP
Author of Type-Directed Operational Semantics for Gradual Typing within the ECOOP Technical Papers-track
Author of Type-Directed Operational Semantics for Gradual Typing within the ECOOP Artifacts-track
Share
x
Sun 27 Jul 02:19
