February 8, 2025

Rob’s paper on relational reasoning using e-graphs has been accepted to OOPSLA’25. Congratulations to Rob and Prasita!