Wenjia Ye The University of Hong Kong E-mail: nicolewj@hku.hk, yewenjia@outlook.com [Github][Curriculem Vitae]

About me

I am at the University of Hong Kong and I am a senior research associate in the University of Bristol, working with Prof. Meng Wang. I used to be a research fellow in School of Computing, National University of Singapore. I was working with Prof. Manuel Rigger. I received my PhD degree from the University of Hong Kong under the supervision of Prof. Bruno C. d. S. Oliveira. My research focuses on Programming Languages, Type Systems, and Gradual Typing.

Publications

• Flexible and Expressive Typed Path Patterns for GQL [pdf]
  Wenjia Ye, Matías Toro, Tomás Díaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez and Domagoj Vrgoč
  In ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications. (OOPSLA2025, CCF-A, Core Ranking A)
  

• Elucidating Type Conversions in SQL Engines [pdf]
  Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, and Éric Tanter
  In International Joint Conferences On Theory and Practice of Software (European Symposium on Programming). (ESOP2025, CCF-B, Core Ranking A)
  

• Principal Type Inference under a Prefix–A Fresh Look at Static Overloading [pdf]
  Daan Leijen, Wenjia Ye
  In ACM SIGPLAN Conference on Programming Language Design and Implementation. (PLDI2025, CCF-A, Core Ranking A) (🏆Distinguished Paper Award🏆)
  

• Principal Type Inference under a Prefix [pdf]
  Daan Leijen, Wenjia Ye
  Published by Microsoft: MSR-TR-2024-34. (September 2024)
  

• Imperative Compositional Programming [pdf]
  Wenjia Ye, Yaozhu Sun and Bruno C. d. S. Oliveira
  In ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications. (OOPSLA2024, CCF-A, Core Ranking A)
  

• Merging Gradual Typing [pdf]
  Wenjia Ye, Bruno C. d. S. Oliveira and Matías Toro
  In ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications. (OOPSLA2024, CCF-A, Core Ranking A)
  

• Type-Directed Operational Semantics for Gradual Typing [pdf]
  Wenjia Ye and Bruno C. d. S. Oliveira
  In Journal of Functional Programming. (JFP2024, CCF-B, Core Ranking A)
  Note: This an extended version of the ECOOP 2021 paper.

• A Gradual Probabilistic Lambda Calculus [pdf]
  Wenjia Ye, Matías Toro, and Federico Olmedo
  In ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications. (OOPSLA2023, CCF-A, Core Ranking A)
  

• Pragmatic Gradual Polymorphism with References [pdf]
  Wenjia Ye and Bruno C. d. S. Oliveira
  In International Joint Conferences On Theory and Practice of Software (European Symposium on Programming). (ESOP2023, CCF-B, Core Ranking A)
  

• Type-Directed Operational Semantics for Gradual Typing [pdf]
  Wenjia Ye, Bruno C. d. S. Oliveira, and Xuejing Huang
  In European Conference on Object-Oriented Programming. (ECOOP2021, CCF-B, Core Ranking A)
  

Awards

• Research @Distinguish Paper Award (2025 ACM SIGPLAN Conference on Programming Language Design and Implementation)

• ACM @CCPC/ICPC University Programming Design Competition at Hangzhou (Bronze prize in Nov. 2016)

• ACM @CCPC/ICPC University Programming Design Competition at Qinhuangdao (Excellent prize in Jun. 2017)

• ACM @CCPC/ICPC Fujian Province University Programming Design Competition (three Silver Prizes in 2016, 2017, 2018)

• ACM @National software and IT competition for the professional–individual (the third prize in Apr. 2017)

• Language @National English Contest for College Students (The second prize in 2017 and 2018)

• Software Development @2017 National software and IT competition for the professional-entrepreneurial team competition (The second prize in the subway transportation project; excellent prize in Power app project)

• Software Development @2016 the first China’s Innovation and entrepreneurship achievements fair (the best creative award)

• Software Development @2016 the third China’s next-generation internet technological innovation competition (the third prize)

• Software Development @2017 the second China’s intelligent interconnection innovation competition—Southern China division (winning prize)

• Internet security @2017 Fujian Province Cyberspace security competition (the third prize in 2016 and 2017)

• Scholarships & Honors @National Scholarship (2018)

• Scholarships & Honors @National Encouragement Scholarship (Academic year of 2015-2016 and 2016-2017)

• Scholarships & Honors @ABB Scholarship (Academic year of 2016-2017)

• Scholarships & Honors @Wang Shujing & Wang Wendou Scholarship (2016 and 2017)

• Scholarships & Honors @National Excellent Representative of National Scholarship Awarders (0.2%) (2019)

• Scholarships & Honors @Excellent Undergraduate Student (2019)

Services

• Reviewer / Subreviewer: ECOOP2022, ECOOP2025

• AEC: ECOOP2022, ESOP2024

• Student Volunteer: ESOP2023, OPLSS2023

• Funded Attendee: OPLSS2023, OOPSLA2023

Teaching

• Guest Lecture (2025-2026). CS3213 Foundations of Software Engineering. National University of Singapore.

• Teacher Assistant (2024-2023). COMP2119 Introduction to Data Structures and Algorithms. The University of Hong Kong.

• Teacher Assistant (2022-2023). COMP2119 Introduction to Data Structures and Algorithms. The University of Hong Kong.

• Teacher Assistant (2021-2022). COMP2121 Discrete Mathematics. The University of Hong Kong.

• Teacher Assistant (2020-2021). COMP3258 Functional Programming. The University of Hong Kong.