News

May ’25

Elam received the NSF Graduate Research Fellowship! Congratulations Elam!

Jun ’24

Our paper on unifying static and dynamic abstractions in Calyx was conditionally accepted at OOPSLA 2024.

Jun ’24

Rachit accepted a tenure-track position at MIT and will start in the 2025-26 academic year!