January 14, 2026

Congratulations to Songlin — his paper on bidirectional type inference for reachability types has been accepted to PLDI 2026!