525 citations · 933 across the 19 of their papers we have counts for
9 papers · 1 filter
Architecture and performance of Devito, a system for automated stencil computation
Fabio Luporini, Michael Lange, Mathias Louboutin +7
Stencil computations are a key part of many high-performance computing applications, such as image processing, convolutional neural networks, and finite-difference solvers for part…
Optimised finite difference computation from symbolic equations
Michael Lange, Navjot Kukreja, Fabio Luporini +4
Domain-specific high-productivity environments are playing an increasingly important role in scientific computing due to the levels of abstraction and automation they provide. In t…
TSFC: a structure-preserving form compiler
Miklós Homolya, Lawrence Mitchell, Fabio Luporini +1
A form compiler takes a high-level description of the weak form of partial differential equations and produces low-level code that carries out the finite element assembly. In this…
Devito: Towards a generic Finite Difference DSL using Symbolic Python
Michael Lange, Navjot Kukreja, Mathias Louboutin +6
Domain specific languages (DSL) have been used in a variety of fields to express complex scientific problems in a concise manner and provide automated performance optimization for…
Devito: automated fast finite difference computation
Navjot Kukreja, Mathias Louboutin, Felippe Vieira +3
Domain specific languages have successfully been used in a variety of fields to cleanly express scientific problems as well as to simplify implementation and performance opti- miza…
An algorithm for the optimization of finite element integration loops
Fabio Luporini, David A. Ham, Paul H. J. Kelly
We present an algorithm for the optimization of a class of finite element integration loop nests. This algorithm, which exploits fundamental mathematical properties of finite eleme…
A structure-exploiting numbering algorithm for finite elements on extruded meshes, and its performance evaluation in Firedrake
Gheorghe-Teodor Bercea, Andrew T. T. McRae, David A. Ham +5
We present a generic algorithm for numbering and then efficiently iterating over the data values attached to an extruded mesh. An extruded mesh is formed by replicating an existing…
Firedrake: automating the finite element method by composing abstractions
Florian Rathgeber, David A. Ham, Lawrence Mitchell +6
Firedrake is a new tool for automating the numerical solution of partial differential equations. Firedrake adopts the domain-specific language for the finite element method of the…
COFFEE: an Optimizing Compiler for Finite Element Local Assembly
Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber +4
The numerical solution of partial differential equations using the finite element method is one of the key applications of high performance computing. Local assembly is its charact…