Design of Fractional Permissions for a Gradual Verifier. - Craig Liu (SPLASH Companion, 2024)

Typestate via Revocable Capabilities. - Songlin Jia; Craig Liu; Siyuan He; Haotian Deng 001; Yuyan Bao; Tiark Rompf (CoRR, 2025)