Our paper on unifying static and dynamic abstractions in Calyx was conditionally accepted at OOPSLA 2024.
Rachit accepted a tenure-track position at MIT and will start in the 2025-26 academic year!