High performance stencil code generation with lift
Stencil computations are widely used from physical simulations to machine-learning. They
are embarrassingly parallel and perfectly fit modern hardware such as Graphic Processing …
are embarrassingly parallel and perfectly fit modern hardware such as Graphic Processing …
Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
Optimizing programs to run efficiently on modern parallel hardware is hard but crucial for
many applications. The predominantly used imperative languages-like C or OpenCL-force …
many applications. The predominantly used imperative languages-like C or OpenCL-force …
A theoretical model for global optimization of parallel algorithms
With the quickly evolving hardware landscape of high-performance computing (HPC) and its
increasing specialization, the implementation of efficient software applications becomes …
increasing specialization, the implementation of efficient software applications becomes …
Efficient multi-gpu shared memory via automatic optimization of fine-grained transfers
Despite continuing research into inter-GPU communication mechanisms, extracting
performance from multi-GPU systems remains a significant challenge. Inter-GPU …
performance from multi-GPU systems remains a significant challenge. Inter-GPU …
Generating portable high-performance code via multi-dimensional homomorphisms
We address a key challenge in programming high-performance applications-achieving
portable performance, ie, the same source code achieves a consistent, high level of …
portable performance, ie, the same source code achieves a consistent, high level of …
High-level synthesis of functional patterns with Lift
High-level languages are commonly seen as a good fit to tackle the problem of performance
portability across parallel architectures. The Lift framework is a recent approach which …
portability across parallel architectures. The Lift framework is a recent approach which …
Matching linear algebra and tensor code to specialized hardware accelerators
Dedicated tensor accelerators demonstrate the importance of linear algebra in modern
applications. Such accelerators have the potential for impressive performance gains, but …
applications. Such accelerators have the potential for impressive performance gains, but …
Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies
Optimizing programs to run efficiently on modern parallel hardware is hard but crucial for
many applications. The predominantly used imperative languages force the programmer to …
many applications. The predominantly used imperative languages force the programmer to …
A language for describing optimization strategies
Optimizing programs to run efficiently on modern parallel hardware is hard but crucial for
many applications. The predominantly used imperative languages-like C or OpenCL-force …
many applications. The predominantly used imperative languages-like C or OpenCL-force …
Report of the workshop on program synthesis for scientific computing
Program synthesis is an active research field in academia, national labs, and industry. Yet,
work directly applicable to scientific computing, while having some impressive successes …
work directly applicable to scientific computing, while having some impressive successes …