Inner array inlining for structure of arrays layout. - Matthias Springer; Yaozhu Sun; Hidehiko Masuhara (ARRAY@PLDI, 2018)

Compositional Programming (Artifact). - Weixin Zhang; Yaozhu Sun; Bruno C. d. S. Oliveira (Dagstuhl Artifacts Ser., 2021)

Compositional Programming. - Weixin Zhang; Yaozhu Sun; Bruno C. d. S. Oliveira (ACM Trans. Program. Lang. Syst., 2021)

Direct Foundations for Compositional Programming. - Andong Fan; Xuejing Huang; Han Xu 004; Yaozhu Sun; Bruno C. d. S. Oliveira (ECOOP, 2022)

Direct Foundations for Compositional Programming (Artifact). - Andong Fan; Xuejing Huang; Han Xu 004; Yaozhu Sun; Bruno C. d. S. Oliveira (Dagstuhl Artifacts Ser., 2022)

Compositional embeddings of domain-specific languages. - Yaozhu Sun; Utkarsh Dhandhania; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2022)

Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing. - Wenjia Ye; Yaozhu Sun; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2024)

Named Arguments as Intersections, Optional Arguments as Unions. - Yaozhu Sun; Bruno C. d. S. Oliveira (ESOP (2), 2025)