Home
News
Vacancies
People
Projects
Publications
PCS Software
Contact
Amir Shaikhha
Latest
The paper 'Slotted E-Graphs - First-Class Support for (Bound) Variables in E-Graphs' was accepted at ACM SIGPLAN PLDI 2025.
Cite
×