Yaozhu Sun -

Registered user since Sun 15 Dec 2019

Name:Yaozhu Sun

Country:China

Affiliation:University of Hong Kong

Personal website: https://yzsun.me

Research interests:Programming Languages

Contributions

2024

SPLASH

Author of Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing within the OOPSLA 2024-track

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Extended Review Committee and External Reviewers within the Technical Papers-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2023

APLAS

Author of [SRC] Separate Compilation for Compositional Programming via Extensible Records within the SRC & Posters-track

ICFP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

PLDI

Author in Artifact Evaluation Committee within the Research Artifacts-track

2022

APLAS

Committee Member in Artifact Evaluation Committee

SPLASH

ECOOP

Author of Direct Foundations for Compositional Programming within the Research Papers-track

2021

ECOOP

2018

ARRAY

Author of Inner Array Inlining for Structure of Arrays Layout within the ARRAY 2018-track