[EGRAPHS24] SpEQ: Translation of Sparse Codes using Equivalences | ACM SIGPLAN | Podwise