Firedrake: automating the finite element method by composing abstractions

F Rathgeber, DA Ham, L Mitchell, M Lange… - ACM Transactions on …, 2016 - dl.acm.org
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 FEniCS …

[HTML][HTML] Devito (v3. 1.0): an embedded domain-specific language for finite differences and geophysical exploration

M Louboutin, M Lange, F Luporini… - Geoscientific Model …, 2019 - gmd.copernicus.org
We introduce Devito, a new domain-specific language for implementing high-performance
finite-difference partial differential equation solvers. The motivating application is exploration …

Greening emerging IT technologies: techniques and practices

J Shuja, RW Ahmad, A Gani, AI Abdalla Ahmed… - Journal of Internet …, 2017 - Springer
The tremendous increase in global industrial activity has resulted in high utilization of
natural energy resources and increase in global warming over the last few decades …

GPGPU-based parallel computing applied in the FEM using the conjugate gradient algorithm: a review

NK Pikle, SR Sathe, AY Vyavhare - Sādhanā, 2018 - Springer
Parallelization of the finite-element method (FEM) has been contemplated by the scientific
and high-performance computing community for over a decade. Most of the computations in …

Automated generation and symbolic manipulation of tensor product finite elements

ATT McRae, GT Bercea, L Mitchell, DA Ham… - SIAM Journal on …, 2016 - SIAM
We describe and implement a symbolic algebra for scalar and vector-valued finite elements,
enabling the computer generation of elements with tensor product structure on quadrilateral …

[HTML][HTML] OpenSBLI: A framework for the automated derivation and parallel execution of finite difference solvers on a range of computer architectures

CT Jacobs, SP Jammy, ND Sandham - Journal of Computational Science, 2017 - Elsevier
Exascale computing will feature novel and potentially disruptive hardware architectures.
Exploiting these to their full potential is non-trivial. Numerical modelling frameworks …

TSFC: a structure-preserving form compiler

M Homolya, L Mitchell, F Luporini, DA Ham - SIAM Journal on Scientific …, 2018 - SIAM
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 …

[PDF][PDF] Exastencils: advanced multigrid solver generation

C Lengauer, S Apel, M Bolten, S Chiba… - Software for Exascale …, 2020 - library.oapen.org
Present-day stencil codes are implemented in general-purpose programming languages,
such as Fortran, C, or Java, Python or derivates thereof, and harnesses for parallelism, such …

An algorithm for the optimization of finite element integration loops

F Luporini, DA Ham, PHJ Kelly - ACM Transactions on Mathematical …, 2017 - dl.acm.org
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-element …

Efficient mesh management in Firedrake using PETSc DMPlex

M Lange, L Mitchell, MG Knepley, GJ Gorman - SIAM Journal on Scientific …, 2016 - SIAM
The use of composable abstractions allows the application of new and established
algorithms to a wide range of problems, while automatically inheriting the benefits of well …