Yaozhu Sun
Postdoctoral Researcher
News
- April 2025
- I passed my PhD thesis examination and will soon graduate from HKU!
I am a postdoctoral researcher at the National Institute of Informatics in Japan, working with Prof. Taro Sekiyama.
My research revolves around programming languages, especially focusing on type systems.
I completed my PhD studies at the University of Hong Kong under the supervision of Prof. Bruno C. d. S. Oliveira.
My PhD thesis is entitled Compositional Programming in Action.
Before that, I received my Bachelor’s degree from 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
Formalized a type-safe foundation for named and optional arguments based on intersection and union types.
Conducted research on the design, implementation, application, and theory of Compositional Programming, a new modular programming paradigm that solves challenges such as the expression problem and type-safe dynamic inheritance.
The latest version of CP can be found on GitHub.
-
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.
Internships
International Digital Economy Academy » Digital Infrastructure Innovation » Compiler Development Intern
May – August 2023
Microsoft Research Asia » Machine Learning Group » Research Intern
April – July 2019
Huawei 2012 Labs » Programming Languages Lab » Compiler Development Intern
July – August 2018
Invited Talks
-
Pursuing Type Safety for First-Class Constructs
-
可信软件学术沙龙
,
East China Normal University, 31 March 2025.
-
Compositional Programming = Modularity × Extensibility³
Academic Service
-
Program Committee:
PLDI’25 SRC.
-
Artifact Evaluation Committee:
OOPSLA’25,
ECOOP’24,
POPL’24,
ICFP’23,
PLDI’23,
APLAS’22.
-
External Reviewer / Subreviewer:
OOPSLA’24,
ECOOP’24,
APLAS’23,
GPCE’22,
ECOOP’22,
SBLP’21.