Designing Linear Algebra Algorithms by Transformation: Mechanizing the Expert Developer

No abstract is available for this paper.

• Publication year

  2012

• Venue

  International Conference on High Performance Computing for Computational Science

• Publication date

  2012-07-17

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-38718-0_34
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Elemental: A New Framework for Distributed Memory Dense Matrix Computations

  2013cited by this paper
• Programming Many-Core Architectures-A Case Study : Dense Matrix Computations on the Intel SCC Processor FLAME Working Note # 55

  2011cited by this paper
• Families of algorithms related to the inversion of a Symmetric Positive Definite matrix

  2008cited by this paper
• Block variants of Hammarling's method for solving Lyapunov equations

  2008cited by this paper
• Hybrid differentiation strategies for simulation and analysis of applications in C++

  2008cited by this paper
• Et al

  2008influential reference
• High-performance implementation of the level-3 BLAS

  2008cited by this paper
• Anatomy of high-performance matrix multiplication

  2008cited by this paper
• Collective communication: theory, practice, and experience

  2007cited by this paper
• Automatic code generation for many-body electronic structure methods: the tensor contraction engine

  2006cited by this paper
• Mechanical derivation and systematic analysis of correct linear algebra algorithms

  2006cited by this paper
• Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries

  2005cited by this paper
• SPIRAL: Code Generation for DSP Transforms

  2005cited by this paper
• Representing linear algebra algorithms in code: the FLAME application program interfaces

  2005cited by this paper
• Database Systems: The Complete Book

  2001influential reference
• FLAME: Formal Linear Algebra Methods Environment

  2001cited by this paper
• Automatically Tuned Linear Algebra Software

  1998cited by this paper
• Using PLAPACK - parallel linear algebra package

  1997cited by this paper
• LAPACK Users' Guide

  1995cited by this paper
• ScaLAPACK: a scalable linear algebra library for distributed memory concurrent computers

  1992cited by this paper
• A set of level 3 basic linear algebra subprograms

  1990cited by this paper
• An extended set of FORTRAN basic linear algebra subprograms

  1988cited by this paper
• Access path selection in a relational database management system

  1979cited by this paper
• Basic Linear Algebra Subprograms for Fortran Usage

  1979cited by this paper

• Automatic Compiler-Based Data Structure Generation

  2022cites this paper
• Automatic Generation of Efficient Linear Algebra Programs

  2019cites this paper
• Linnea

  2019cites this paper
• SPIRAL: Extreme Performance Portability

  2018cites this paper
• Title A Code Generation Framework for Targeting OptimizedLibrary Calls for Multiple Platforms

  2018cites this paper
• Program generation for small-scale linear algebra applications

  2018cites this paper
• A basic linear algebra compiler for structured matrices

  2016cites this paper
• Automatic code generation methods applied to numerical linear algebra in high performance computing. (Méthodes de génération automatique de code appliquées à l'algèbre linéaire numérique dans le calcul haute performance)

  2016cites this paper
• Automatic code generation methods applied to numerical linear algebra in high performance computing

  2016cites this paper
• BLIS: A Framework for Rapidly Instantiating BLAS Functionality

  2015cites this paper
• Distributed tensor computations: formalizing distributions, redistributions, and algorithm derivation

  2015influential citation
• Parallel programming by transformation

  2015cites this paper
• From software extensions to product lines of dataflow programs

  2015cites this paper
• A Code Generation Framework for Targeting Optimized Library Calls for Multiple Platforms

  2015cites this paper
• DxTer: An Extensible Tool for Optimal Dataflow Program Generation

  2015cites this paper
• Metaprogramming Dense Linear Algebra Solvers Applications to Multi and Many-Core Architectures

  2015cites this paper
• Design by transformation : from domain knowledge to optimized program generation

  2014cites this paper
• Understanding performance stairs: elucidating heuristics

  2014influential citation
• HSLOT: The HERCULES Scriptable Loop Transformations Engine

  2014cites this paper
• ReFlO: an interactive tool for pipe-and-filter domain specification and program generation

  2014cites this paper
• Making Scientific Computing Libraries Forward Compatible

  2014cites this paper
• A versatile tuple-based optimization framework

  2014cites this paper
• From Domain Knowledge to Optimized Program Generation

  2014cites this paper
• Adaptive Finite Element Modelling of Welding Processes

  2014cites this paper
• Knowledge-based automatic generation of linear algebra algorithms and code

  2014cites this paper
• Code Generation to Aid Parallel Code Development

  2014cites this paper
• Vectorized OpenCL implementation of numerical integration for higher order finite elements

  2013cites this paper
• DSLs, DLA, DxT, and MDE in CSE

  2013cites this paper
• Dark Knowledge and Graph Grammars in Automated Software Design

  2013influential citation
• Anatomy of Parallel Computation with Tensors FLAME Working Note # 72 Ph

  2013cites this paper
• Interfaces are key

  2013cites this paper
• A case study in mechanically deriving dense linear algebra code

  2013cites this paper
• 0 BLIS : A Framework for Rapid Instantiation of BLAS Functionality

  2013cites this paper
• Code Generation and Optimization of Distributed-Memory Dense Linear Algebra Kernels

  2013cites this paper
• Reengineering Product Lines of Dataflow Programs

  2013cites this paper
• A calculus of loop invariants for dense linear algebra optimization

  2013cites this paper
• Application-tailored linear algebra algorithms

  2012cites this paper
• 0 BLIS : A Modern Alternative to the BLAS FIELD

  2012cites this paper
• Theory and Practice of Fusing Loops when Optimizing Parallel Dense Linear Algebra Operations FLAME Working Note # 64 Tze

  2012cites this paper
• DxTer : A Program Synthesizer for Dense Linear Algebra

  2012influential citation
• BLIS : A Framework for Generating BLAS-like Libraries FLAME Working

  2012cites this paper
• Code Generation of Optimized Distributed-Memory Dense Linear Algebra Kernels

  2012cites this paper
• Reengineering Product Lines of Dataflow Programs

  year unknowncites this paper