Yaozhu Sun

PhD candidate
Department of Computer Science
Faculty of Engineering
University of Hong Kong

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 (浙江大学) in 2019. I was an exchange student at Tokyo Institute of Technology (東京工業大学) under the supervision of Prof. Hidehiko Masuhara in 2017.

During my undergraduate years, I was the founder of ZJU Apple Club. I led the development of Qiushichao Mobile for iOS, which has been the most popular campus app at Zhejiang University.

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 three-dimensional 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.
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.)

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.

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.

Internships

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

Awards

Distinguished Artifact Award, European Conference on Object-Oriented Programming, July 2021.
First Prize, ASC Student Supercomputer Challenge, May 2018.
Second Prize, Mobile Application Innovation Contest, China Collegiate Computing Contest, September 2016.
Bronze Award (Optimization Track), Parallel Application Challenge, China, November 2015.
First Prize (Jiangsu Province), National Olympiad in Informatics in Provinces, China, December 2012.

Teaching Assistantships

Advanced Database Systems (COMP7104), University of Hong Kong, Autumn 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 Service

Artifact Evaluation Committee: PLDI'23, APLAS'22.
Subreviewer: GPCE'22, ECOOP'22, SBLP'21.
Student Volunteer: SPLASH'22.