525 citations · 933 across the 19 of their papers we have counts for
20 papers
Automated MPI-X code generation for scalable finite-difference solvers
George Bisbas, Rhodri Nelson, Mathias Louboutin +3
Partial differential equations (PDEs) are crucial in modeling diverse phenomena across scientific disciplines, including seismic and medical imaging, computational fluid dynamics,…
A Novel Immersed Boundary Approach for Irregular Topography with Acoustic Wave Equations
Edward Caunt, Rhodri Nelson, Fabio Luporini +1
Irregular terrain has a pronounced effect on the propagation of seismic and acoustic wavefields but is not straightforwardly reconciled with structured finite-difference (FD) metho…
Stride: a flexible platform for high-performance ultrasound computed tomography
Carlos Cueto, Oscar Bates, George Strong +6
Advanced ultrasound computed tomography techniques like full-waveform inversion are mathematically challenging and orders of magnitude more computationally expensive than conventio…
Temporal blocking of finite-difference stencil operators with sparse "off-the-grid" sources
George Bisbas, Fabio Luporini, Mathias Louboutin +3
Stencil kernels dominate a range of scientific applications, including seismic and medical imaging, image processing, and neural networks. Temporal blocking is a performance optimi…
Scaling through abstractions -- high-performance vectorial wave simulations for seismic inversion with Devito
Mathias Louboutin, Fabio Luporini, Philipp Witte +5
[Devito] is an open-source Python project based on domain-specific language and compiler technology. Driven by the requirements of rapid HPC applications development in exploration…
GPU Support for Automatic Generation of Finite-Differences Stencil Kernels
Vitor Hugo Mickus Rodrigues, Lucas Cavalcante, Maelso Bruno Pereira +4
The growth of data to be processed in the Oil & Gas industry matches the requirements imposed by evolving algorithms based on stencil computations, such as Full Waveform Inversion…
Performance of Devito on HPC-Optimised ARM Processors
Hermes Senger, Jaime F. de Souza, Edson S. Gomi +2
We evaluate the performance of Devito, a domain specific language (DSL) for finite differences on Arm ThunderX2 processors. Experiments with two common seismic computational kernel…
Automatic Differentiation for Adjoint Stencil Loops
Jan Hückelheim, Navjot Kukreja, Sri Hari Krishna Narayanan +3
Stencil loops are a common motif in computations including convolutional neural networks, structured-mesh solvers for partial differential equations, and image processing. Stencil…
Devito (v3.1.0): an embedded domain-specific language for finite differences and geophysical exploration
Mathias Louboutin, Michael Lange, Fabio Luporini +5
We introduce Devito, a new domain-specific language for implementing high-performance finite difference partial differential equation solvers. The motivating application is explora…
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…
Automated Tiling of Unstructured Mesh Computations with Application to Seismological Modelling
Fabio Luporini, Michael Lange, Christian T. Jacobs +3
Sparse tiling is a technique to fuse loops that access common data, thus increasing data locality. Unlike traditional loop fusion or blocking, the loops may have different iteratio…
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…
A Survey on Open Problems for Mobile Robots
Alberto Bandettini, Fabio Luporini, Giovanni Viglietta
Gathering mobile robots is a widely studied problem in robotic research. This survey first introduces the related work, summarizing models and results. Then, the focus shifts on th…