About

Email : yewenjia@connect.hku.hk

I am a PhD student at the Department of Computer Science, The University of Hong Kong. I am working under the supervision of Dr. Bruno Oliveira. My research focuses on Programming Language, Type System and Gradual Tying.

Academics

PhD Student (Jul. 2020 - present)
Department of Computer Science,
The University of Hong Kong.
Field of study: Programming Language

Publications

• A Gradual Probabilistic Lambda Calculus
  Wenjia Ye, Matías Toro, and Federico Olmedo
  In OOPSLA2023

• Pragmatic Gradual Polymorphism with References
  Wenjia Ye and Bruno C. d. S. Oliveira
  In ESOP2023

• Type-Directed Operational Semantics for Gradual Typing
  Wenjia Ye, Bruno C. d. S. Oliveira, and Xuejing Huang
  In ECOOP2021

• Stm32-Based Vehicle Data Acquisition System for Internet-of-Vehicles
  Yong Xie, Xinpu Su, Yifan He, Xuhui Chen, Gengliang Cai, Baisheng Xu, and Wenjia Ye
  In ICIS2017

• Type-Directed Operational Semantics for Gradual Typing
  Wenjia Ye and Bruno C. d. S. Oliveira
  Under revision of Journal of Functional Programming

• Merging Gradual Typing
  Wenjia Ye, Bruno C. d. S. Oliveira and Matías Toro
  Submitted to OOPSLA2024

• Analysis and Formalization of Typing in SQL Engines
  Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, and Éric Tanter.
  Submitted to VLDB2024

• Imperative Compositional Programming
  Wenjia Ye, Yaozhu Su and Bruno C. d. S. Oliveira
  Submitted to OOPSLA2024

Experience

Research Assistant @The Universtity of Hong Kong (Dec. 2019 - Jun. 2020)
Functional Programming Language, Type System
Hong Kong, China.

Intern @Tsinghua University NetMan Lab (May. 2019 - August. 2019)
Machine Learning
Beijing, China.

Intern @National Key Laboratory of Pattern Recognition, Institute of Automation, Chinese Academy of Sciences (Feb. 2019 - May. 2019)
Natural Language Processing
Beijing, China.

Awards

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)

Teaching

1. Teacher Assistant (2020-2021). Functional Programming. The University of Hong Kong.
2. Teacher Assistant (2020-2021). Discrete Mathematics. The University of Hong Kong.
3. Teacher Assistant (2021-2022). Introduction to Data Structures and Algorithms. The University of Hong Kong.

Community Service

• ESOP2024:AEC
• ESOP2023:Student Volunteer
• ECOOP2022:AEC
• ECOOP2022:(Sub)reviewer
• ESOP2023:Student Volunteer

CV

Download PDF.