April 10, 2026
Congratulations to Siyuan, Songlin, and Yuyan: their paper on safe arena-based memory management via reachability types has been accepted to OOPSLA 2026!
Siyuan/Songlin/Yuyan, OOPSLA 2026
April 10, 2026
April 10, 2026
April 10, 2026
Congratulations to Siyuan, Songlin, and Yuyan: their paper on safe arena-based memory management via reachability types has been accepted to OOPSLA 2026!