January 21, 2026

Songlin, Craig, Siyuan, and Haotian’s paper on using revocable capabilities to enforce typestate has been accepted to PLDI 2026. Congratulations!