Yaozhu Sun

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.

ESOP’25 CCF-B: Named Arguments as Intersections, Optional Arguments as Unions .
Yaozhu Sun and Bruno C. d. S. Oliveira.
European Symposium on Programming, Hamilton 🇨🇦, 6 May 2025.
(A preliminary version entitled “Named Arguments as Records” was presented at TFP’22.)

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’24 CCF-A: Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing .
Wenjia Ye, Yaozhu Sun, and Bruno C. d. S. Oliveira.
ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, Pasadena 🇺🇸, 23 October 2024.
APLAS’23 SRC: Separate Compilation for Compositional Programming via Extensible Records .
Yaozhu Sun, Xuejing Huang, and Bruno C. d. S. Oliveira.
First Prize & Audience Awards in the APLAS Student Research Competition, Taipei 🇹🇼, 27–29 November 2023.
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.
ECOOP’22 CCF-B: Direct Foundations for Compositional Programming .
Andong Fan¹, Xuejing Huang¹, Han Xu, Yaozhu Sun, and Bruno C. d. S. Oliveira.
European Conference on Object-Oriented Programming, Berlin 🇩🇪, 16 June 2022.
TOPLAS’21 CCF-A: Compositional Programming .
Weixin Zhang, Yaozhu Sun, and Bruno C. d. S. Oliveira.
ACM Transactions on Programming Languages and Systems, 43(3), September 2021.
Distinguished Artifact Award (This is a journal-first paper published in TOPLAS and presented at ECOOP’21.)

Tokyo Institute of Technology » Programming Research Group

Conducted research on object-oriented high-performance computing and contributed to Ikra-Ruby and Ikra-Cpp.

ARRAY’18: Inner Array Inlining for Structure of Arrays Layout .
Matthias Springer, Yaozhu Sun, and Hidehiko Masuhara.
ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (peer-reviewed, co-located with PLDI), Philadelphia 🇺🇸, 19 June 2018.

Yaozhu Sun

News

Research

Internships

Invited Talks

Academic Service