A Basic Linear Algebra Compiler
No abstract available.
Related papers
- A basic linear algebra compiler for structured matrices CGO 2016
- Smooth manifolds and types to sets for linear algebra in Isabelle/HOL CPP 2019
- Program generation for small-scale linear algebra applications CGO 2018
- Linear and Non-linear Relational Analyses for Quantum Program Optimization POPL 2025
- Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra PLDI 2026
- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra SAS 2005
- Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU CGO 2025
- Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators CC 2023