Wenjia Ye

12 papers A 2C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Validated Code Translation for Projects with External Libraries.
CoRR
Hanliang Zhang, Arindam Sharma, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening, Wenjia Ye, Taro Sekiyama
2025 — conf
Elucidating Type Conversions in SQL Engines.
ESOP (1)
Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter
2025 J jnl
Flexible and Expressive Typed Path Patterns for GQL.
Proc. ACM Program. Lang.
Wenjia Ye, Matías Toro, Tomás Díaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoc
2025 J jnl
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading.
Proc. ACM Program. Lang.
Daan Leijen, Wenjia Ye
2024 J jnl
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing.
Proc. ACM Program. Lang.
Wenjia Ye, Yaozhu Sun, Bruno C. d. S. Oliveira
2024 J jnl
Merging Gradual Typing.
Proc. ACM Program. Lang.
Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro
2024 J jnl
Type-directed operational semantics for gradual typing.
J. Funct. Program.
Wenjia Ye, Bruno C. d. S. Oliveira
2023 J jnl
A Gradual Probabilistic Lambda Calculus.
Proc. ACM Program. Lang.
Wenjia Ye, Matías Toro, Federico Olmedo
2023 A conf
Pragmatic Gradual Polymorphism with References.
ESOP
Wenjia Ye, Bruno C. d. S. Oliveira
2021 J jnl
Type-Directed Operational Semantics for Gradual Typing (Artifact).
Dagstuhl Artifacts Ser.
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
2021 A conf
Type-Directed Operational Semantics for Gradual Typing.
ECOOP
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
2017 C conf
STM32-based vehicle data acquisition system for Internet-of-Vehicles.
ICIS
Yong Xie, Xin Su, Yifan He, Xuhui Chen, Gengliang Cai, Baisheng Xu, Wenjia Ye