Wenjia Ye, Research Fellow |
I am a research fellow in School of Computing, National University of Singapore. I am 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.
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)
Elucidating Type Conversions in SQL Engines
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). (ETAPS2025)
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)
Type-Directed Operational Semantics for Gradual Typing [pdf]
Wenjia Ye and Bruno C. d. S. Oliveira
In Journal of Functional Programming. (JFP2024)
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)
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). (ETAPS2023)
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)
Stm32-Based Vehicle Data Acquisition System for Internet-of-Vehicles [pdf]
Yong Xie, Xinpu Su, Yifan He, Xuhui Chen, Gengliang Cai, Baisheng Xu, and Wenjia Ye
In International Conference on Computer and Information Science. (ICIS2017)
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)
Reviewer / Subreviewer: ECOOP2022, ECOOP2025
AEC: ECOOP2022, ESOP2024
Student Volunteer: ESOP2023, OPLSS2023
Funded Attendee: OPLSS2023, OOPSLA2023
Teacher Assistant (2020-2021). Functional Programming. The University of Hong Kong.
Teacher Assistant (2020-2021). Discrete Mathematics. The University of Hong Kong.
Teacher Assistant (2021-2022). Introduction to Data Structures and Algorithms. The University of Hong Kong.
Teacher Assistant (2022-2023). Introduction to Data Structures and Algorithms. The University of Hong Kong.