The paper 'Slotted E-Graphs - First-Class Support for (Bound) Variables in E-Graphs' was accepted at ACM SIGPLAN PLDI 2025. Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Koehler, Michel Steuwer Mar 26, 2025