Avery Laird

[Maryam Mehri Dehnavi @MaryamDehnavi]

Our paper “SpEQ: Translation of Sparse Codes using Equivalences” accepted to PLDI 2024 @PLDI. SpEQ uses equality saturation and equivalence checking to automatically translate input codes to library calls or domain-specific languages (DSLs).

Paper: https://t.co/fFyyYJuUGz

[Avery Laird @AveryLaird]

@notypes @MaryamDehnavi @PLDI That is why we compare to verified lifting/idiom matching tools instead. However, Exo and Mosiac are both interesting possible backends for SpEQ.

[Avery Laird @AveryLaird]

@notypes @MaryamDehnavi @PLDI As such, we are not focused on code generation itself, since generating fast code from the high-level representation is well-explored (e.g Exo, Mosaic, most DSL compilers in general). (continued)