STM32-based vehicle data acquisition system for Internet-of-Vehicles. - Yong Xie; Xin Su; Yifan He; Xuhui Chen; Gengliang Cai; Baisheng Xu; Wenjia Ye (ICIS, 2017)

Type-Directed Operational Semantics for Gradual Typing. - Wenjia Ye; Bruno C. d. S. Oliveira; Xuejing Huang (ECOOP, 2021)

Type-Directed Operational Semantics for Gradual Typing (Artifact). - Wenjia Ye; Bruno C. d. S. Oliveira; Xuejing Huang (Dagstuhl Artifacts Ser., 2021)

Pragmatic Gradual Polymorphism with References. - Wenjia Ye; Bruno C. d. S. Oliveira (ESOP, 2023)

A Gradual Probabilistic Lambda Calculus. - Wenjia Ye; Matías Toro; Federico Olmedo (Proc. ACM Program. Lang., 2023)

Type-directed operational semantics for gradual typing. - Wenjia Ye; Bruno C. d. S. Oliveira (J. Funct. Program., 2024)

Merging Gradual Typing. - Wenjia Ye; Bruno C. d. S. Oliveira; Matías Toro (Proc. ACM Program. Lang., 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)

Elucidating Type Conversions in SQL Engines. - Wenjia Ye; Matías Toro; Claudio Gutierrez; Bruno C. d. S. Oliveira; Éric Tanter (ESOP (1), 2025)

Principal Type Inference under a Prefix: A Fresh Look at Static Overloading. - Daan Leijen; Wenjia Ye (Proc. ACM Program. Lang., 2025)