I am a PhD candidate at the University of Hong Kong under the supervision of Prof. Bruno C. d. S. Oliveira.
My research revolves around programming languages, especially focusing on type systems that reconcile object-oriented and functional programming.
I received my Bachelor's degree from Chu Kochen Honors College of Zhejiang University .
I was an exchange student at Tokyo Institute of Technology under the supervision of Prof. Hidehiko Masuhara.
My Chinese name is 孫耀珠.
Since Chinese characters are also used in Japanese and Korean, my name can be pronounced そんようじゅ in Japanese or 손요주 in Korean, both of which can be romanized as Yoju Son.
If you think the Chinese romanization Yaozhu Sun hard to read, feel free to pronounce my name in Japanese or Korean style.
Research
University of Hong Kong »
Programming Languages Group
Doing research on the theory, design, implementation, and application of Compositional Programming, a new modular programming paradigm that solves challenges such as the Expression Problem.
An online demo is available at PLGround.
-
OOPSLA'22
CCF-A
-
Compositional Embeddings of Domain-Specific Languages
.
Yaozhu Sun, Utkarsh Dhandhania, and Bruno C. d. S. Oliveira.
ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, Auckland 🇳🇿, 10 December 2022.
Doing research on the encoding of labeled and optional arguments in a minimal calculus.
- TFP'22
-
Named Arguments as Records (Draft)
.
Yaozhu Sun and Bruno C. d. S. Oliveira.
Presented at the International Symposium on Trends in Functional Programming, 18 March 2022.
Internships
International Digital Economy Academy » Digital Infrastructure Innovation » Software Development Intern
May – August 2023
Microsoft Research Asia » Machine Learning Group » Research Intern
April – July 2019
Huawei 2012 Labs » Compilers and Programming Languages Lab » Software Development Intern
July – August 2018
Invited Talks
-
Compositional Programming = Modularity × Extensibility³
Teaching Assistantships
- Advanced Database Systems (COMP7104), University of Hong Kong, Autumn 2023/2022.
- Principles of Programming Languages (COMP3259), University of Hong Kong, Spring 2022.
- Design and Analysis of Algorithms (COMP3250A), University of Hong Kong, Spring 2021.
- Programming Principle (21190650), Zhejiang University, Autumn 2018.
Academic Activities