LBB stability of a mixed Galerkin finite element pair for fluid flow simulations. - Colin J. Cotter; David A. Ham; Christopher C. Pain; Sebastian Reich (J. Comput. Phys., 2009)

Towards generating optimised finite element solvers for GPUs from high-level specifications. - Graham R. Markall; David A. Ham; Paul H. J. Kelly (ICCS, 2010)

Numerical wave propagation for the triangular P1DG-P2 finite element pair. - Colin J. Cotter; David A. Ham (J. Comput. Phys., 2011)

Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs. - Carlo Bertolli; Adam Betts; Nicolas Loriant; Gihan R. Mudalige; David Radford; David A. Ham; Mike B. Giles; Paul H. J. Kelly (LCPC, 2012)

PyOP2: A High-Level Framework for Performance-Portable Simulations on Unstructured Meshes. - Florian Rathgeber; Graham R. Markall; Lawrence Mitchell; Nicolas Loriant; David A. Ham; Carlo Bertolli; Paul H. J. Kelly (SC Companion, 2012)

Performance-Portable Finite Element Assembly Using PyOP2 and FEniCS. - Graham R. Markall; Florian Rathgeber; Lawrence Mitchell; Nicolas Loriant; Carlo Bertolli; David A. Ham; Paul H. J. Kelly (ISC, 2013)

POD reduced-order unstructured mesh modeling applied to 2D and 3D fluid flow. - Juan Du 011; Fangxin Fang; Christopher C. Pain; I. M. Navon; Jiang Zhu; David A. Ham (Comput. Math. Appl., 2013)

Automated Derivation of the Adjoint of High-Level Transient Finite Element Programs. - Patrick E. Farrell; David A. Ham; Simon W. Funke; Marie E. Rognes (SIAM J. Sci. Comput., 2013)

COFFEE: an Optimizing Compiler for Finite Element Local Assembly. - Fabio Luporini; Ana Lucia Varbanescu; Florian Rathgeber; Gheorghe-Teodor Bercea; J. Ramanujam; David A. Ham; Paul H. J. Kelly (CoRR, 2014)

Cross-Loop Optimization of Arithmetic Intensity for Finite Element Local Assembly. - Fabio Luporini; Ana Lucia Varbanescu; Florian Rathgeber; Gheorghe-Teodor Bercea; J. Ramanujam; David A. Ham; Paul H. J. Kelly (ACM Trans. Archit. Code Optim., 2014)

On-the-Fly Data Synopses: Efficient Data Exploration in the Simulation Sciences. - Thomas Heinis; David A. Ham (SIGMOD Rec., 2015)

A numbering algorithm for finite element on extruded meshes which avoids the unstructured mesh penalty. - Gheorghe-Teodor Bercea; Andrew T. T. McRae; David A. Ham; Lawrence Mitchell; Florian Rathgeber; Luigi Nardi; Fabio Luporini; Paul H. J. Kelly (CoRR, 2016)

A Parallel Edge Orientation Algorithm for Quadrilateral Meshes. - Miklós Homolya; David A. Ham (SIAM J. Sci. Comput., 2016)

Automated Generation and Symbolic Manipulation of Tensor Product Finite Elements. - Andrew T. T. McRae; Gheorghe-Teodor Bercea; Lawrence Mitchell; David A. Ham; Colin J. Cotter (SIAM J. Sci. Comput., 2016)

Exposing and exploiting structure: optimal code generation for high-order finite element methods. - Miklós Homolya; Robert C. Kirby; David A. Ham (CoRR, 2017)

An Algorithm for the Optimization of Finite Element Integration Loops. - Fabio Luporini; David A. Ham; Paul H. J. Kelly (ACM Trans. Math. Softw., 2017)

Firedrake: Automating the Finite Element Method by Composing Abstractions. - Florian Rathgeber; David A. Ham; Lawrence Mitchell; Michael Lange 001; Fabio Luporini; Andrew T. T. McRae; Gheorghe-Teodor Bercea; Graham R. Markall; Paul H. J. Kelly (ACM Trans. Math. Softw., 2017)

A domain-specific language for the hybridization and static condensation of finite element methods. - Thomas H. Gibson; Lawrence Mitchell; David A. Ham; Colin J. Cotter (CoRR, 2018)

TSFC: A Structure-Preserving Form Compiler. - Miklós Homolya; Lawrence Mitchell; Fabio Luporini; David A. Ham (SIAM J. Sci. Comput., 2018)

Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111). - Paolo Bientinesi; David A. Ham; Furong Huang; Paul H. J. Kelly; Christian Lengauer; Saday Sadayappan (Dagstuhl Reports, 2020)

A study of vectorization for matrix-free finite element methods. - Tianjiao Sun; Lawrence Mitchell; Kaushik Kulkarni; Andreas Klöckner; David A. Ham; Paul H. J. Kelly (Int. J. High Perform. Comput. Appl., 2020)

UFL Dual Spaces, a proposal. - David A. Ham (CoRR, 2021)

Code generation for productive portable scalable finite element simulation in Firedrake. - Jack D. Betteridge; Patrick E. Farrell; David A. Ham (CoRR, 2021)

Escaping the abstraction: a foreign function interface for the Unified Form Language [UFL]. - Nacime Bouziani; David A. Ham (CoRR, 2021)

Code Generation for Productive, Portable, and Scalable Finite Element Simulation in Firedrake. - Jack D. Betteridge; Patrick E. Farrell; David A. Ham (Comput. Sci. Eng., 2021)

Goal-Oriented Error Estimation and Mesh Adaptation for Tracer Transport Modelling. - Joseph G. Wallwork; Nicolas Barral; David A. Ham; Matthew D. Piggott (Comput. Aided Des., 2022)

Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101). - Paolo Bientinesi; David A. Ham; Furong Huang; Paul H. J. Kelly; P. Sadayappan; Edward Stow (Dagstuhl Reports, 2022)

Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake. - Justin Crum; Cyrus Cheng; David A. Ham; Lawrence Mitchell; Robert C. Kirby; Joshua A. Levine; Andrew Gillette (ACM Trans. Math. Softw., 2022)

Physics-driven machine learning models coupling PyTorch and Firedrake. - Nacime Bouziani; David A. Ham (CoRR, 2023)

Consistent Point Data Assimilation in Firedrake and Icepack. - Reuben W. Nixon-Hill; Daniel Shapero; Colin J. Cotter; David A. Ham (CoRR, 2023)

Absorbing boundary conditions for the Helmholtz equation using Gauss-Legendre quadrature reduced integrations. - Koki Sagiyama; David A. Ham (CoRR, 2023)

Differentiable programming across the PDE and Machine Learning barrier. - Nacime Bouziani; David A. Ham; Ado Farsi (CoRR, 2024)

Efficient N-to-M Checkpointing Algorithm for Finite Element Simulations. - David A. Ham; Vaclav Hapla; Matthew G. Knepley; Lawrence Mitchell; Koki Sagiyama (SIAM J. Sci. Comput., 2024)

checkpoint_schedules: schedules for incremental checkpointing of adjoint simulations. - Daiane I. Dolci; James R. Maddison; David A. Ham; Guillaume Pallez; Julien Herrmann (J. Open Source Softw., 2024)

Constructing PDFs of spatially dependent fields using finite elements. - Paul M. Mannix; David A. Ham; John Craske (CoRR, 2025)

Missing Physics Discovery through Fully Differentiable Finite Element-Based Machine Learning. - Ado Farsi; Nacime Bouziani; David A. Ham (CoRR, 2025)