Accelerating Sparse Algebra with Program Synthesis
Abstract
Linear algebra libraries and tensor domain-specific languages are able to deliver high performance for modern scientific and machine learning workloads. While there has been recent work in automatically translating legacy software to use these libraries/DSLs using pattern matching and program lifting, this has been largely limited to dense linear algebra.
Fields of Study & Subjects
Parallel Computing and Optimization Techniques
Embedded Systems Design Techniques
Logic
programming
and type systems
Publication details
- Journal / source
- ACM SIGPLAN International Conference on Compiler Construction (CC)
- Pages
- 106–118
- Publication date
- 28 January 2026