Cunyuan Gao -

Registered user since Thu 26 Sep 2024

Name:Cunyuan Gao

Affiliation:HKUST

Contributions

2025

SPLASH

Author of A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation With Constraint-Based Subtype Inference within the OOPSLA-track

2024

GPCE

Author of Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper) within the GPCE 2024-track