Wenjia Ye

According to our database, Wenjia Ye authored at least 12 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Validated Code Translation for Projects with External Libraries.

Hanliang Zhang, Arindam Sharma, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening, Wenjia Ye, Taro Sekiyama

CoRR, February, 2026

2025

Flexible and Expressive Typed Path Patterns for GQL.

Wenjia Ye, Matías Toro, Tomás Díaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoc

Proc. ACM Program. Lang., 2025

Principal Type Inference under a Prefix: A Fresh Look at Static Overloading.

Daan Leijen, Wenjia Ye

Proc. ACM Program. Lang., 2025

Elucidating Type Conversions in SQL Engines.

Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter

Proceedings of the Programming Languages and Systems, 2025

2024

Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing.

Wenjia Ye, Yaozhu Sun, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2024

Merging Gradual Typing.

Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro

Proc. ACM Program. Lang., 2024

Type-directed operational semantics for gradual typing.

Wenjia Ye, Bruno C. d. S. Oliveira

J. Funct. Program., 2024

2023

A Gradual Probabilistic Lambda Calculus.

Wenjia Ye, Matías Toro, Federico Olmedo

Proc. ACM Program. Lang., April, 2023

Pragmatic Gradual Polymorphism with References.

Wenjia Ye, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems, 2023

2021

Type-Directed Operational Semantics for Gradual Typing (Artifact).

Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang

Dagstuhl Artifacts Ser., 2021

Type-Directed Operational Semantics for Gradual Typing.

Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2017

STM32-based vehicle data acquisition system for Internet-of-Vehicles.

Yong Xie, Xin Su, Yifan He, Xuhui Chen, Gengliang Cai, Baisheng Xu, Wenjia Ye

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017