Rudi Schneider

Latest

• The paper 'Slotted E-Graphs - First-Class Support for (Bound) Variables in E-Graphs' was accepted at ACM SIGPLAN PLDI 2025.