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