Sat 22 Jun 2019 16:30 - 17:00 at 106C - Session 5 Chair(s): Lenore Mullin

Linnea is a code generator for the translation of high-level linear algebra problems to efficient code. Unlike other languages and libraries for linear algebra, Linnea heavily relies on domain-specific knowledge to rewrite expressions and infer matrix properties. Here we focus on two aspects related to code generation and matrix properties: 1) The automatic generation of code consisting of explicit calls to BLAS and LAPACK kernels, and the corresponding challenge with specialized storage formats. 2) A general notion of banded matrices can be used to simplify the inference of many matrix properties. While it is crucial to make use of matrix properties to achieve high performance, inferring those properties is challenging. We show how matrix bandwidth can be used as a unifying language to reason about many common matrix properties.

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

16:00 - 17:30: Session 5ARRAY at 106C
Chair(s): Lenore MullinSUNY Albany, USA
16:00 - 16:30
ALPyNA: Acceleration of Loops in Python for Novel Architectures
A: Dejice Jacob, A: Jeremy SingerUniversity of Glasgow
16:30 - 17:00
Code Generation in Linnea (extended abstract)
A: Henrik BarthelsRWTH Aachen, A: Paolo BientinesiUmeå University
17:00 - 17:30
High-Level Synthesis of Functional Patterns with Lift
A: Martin KristienUniversity of Edinburgh, UK, A: Bruno BodinYale-NUS College, A: Michel SteuwerUniversity of Glasgow, A: Christophe DubachUniversity of Edinburgh