David A. Ham

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 26

Top Topics

Learning Models

Boundary Element

Data Exploration

Code Generation

Top Venues

ACM Trans. Math. Softw.

SIAM J. Sci. Comput.

Dagstuhl Reports

Publications

David A. Ham, Vaclav Hapla, Matthew G. Knepley, Lawrence Mitchell, Koki Sagiyama
Efficient N-to-M Checkpointing Algorithm for Finite Element Simulations. CoRR (2024)
Daiane I. Dolci, James R. Maddison, David A. Ham, Guillaume Pallez, Julien Herrmann
checkpoint_schedules: schedules for incremental checkpointing of adjoint simulations. J. Open Source Softw. 9 (96) (2024)
Nacime Bouziani, David A. Ham
Physics-driven machine learning models coupling PyTorch and Firedrake. CoRR (2023)
Koki Sagiyama, David A. Ham
Absorbing boundary conditions for the Helmholtz equation using Gauss-Legendre quadrature reduced integrations. CoRR (2023)
Reuben W. Nixon-Hill, Daniel Shapero, Colin J. Cotter, David A. Ham
Consistent Point Data Assimilation in Firedrake and Icepack. CoRR (2023)
Justin Crum, Cyrus Cheng, David A. Ham, Lawrence Mitchell, Robert C. Kirby, Joshua A. Levine, Andrew Gillette
Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake. ACM Trans. Math. Softw. 48 (1) (2022)
Joseph G. Wallwork, Nicolas Barral, David A. Ham, Matthew D. Piggott
Goal-Oriented Error Estimation and Mesh Adaptation for Tracer Transport Modelling. Comput. Aided Des. 145 (2022)
Paolo Bientinesi, David A. Ham, Furong Huang, Paul H. J. Kelly, P. Sadayappan, Edward Stow
Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101). Dagstuhl Reports 12 (3) (2022)
Jack D. Betteridge, Patrick E. Farrell, David A. Ham
Code Generation for Productive, Portable, and Scalable Finite Element Simulation in Firedrake. Comput. Sci. Eng. 23 (4) (2021)
Justin Crum, Cyrus Cheng, David A. Ham, Lawrence Mitchell, Robert C. Kirby, Joshua A. Levine, Andrew Gillette
Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake. CoRR (2021)
David A. Ham
UFL Dual Spaces, a proposal. CoRR (2021)
Nacime Bouziani, David A. Ham
Escaping the abstraction: a foreign function interface for the Unified Form Language [UFL]. CoRR (2021)
Jack D. Betteridge, Patrick E. Farrell, David A. Ham
Code generation for productive portable scalable finite element simulation in Firedrake. CoRR (2021)
Tianjiao Sun, Lawrence Mitchell, Kaushik Kulkarni, Andreas Klöckner, David A. Ham, Paul H. J. Kelly
A study of vectorization for matrix-free finite element methods. Int. J. High Perform. Comput. Appl. 34 (6) (2020)
Paolo Bientinesi, David A. Ham, Furong Huang, Paul H. J. Kelly, Christian Lengauer, Saday Sadayappan
Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111). Dagstuhl Reports 10 (3) (2020)
Tianjiao Sun, Lawrence Mitchell, Kaushik Kulkarni, Andreas Klöckner, David A. Ham, Paul H. J. Kelly
A study of vectorization for matrix-free finite element methods. CoRR (2019)
Thomas H. Gibson, Lawrence Mitchell, David A. Ham, Colin J. Cotter
A domain-specific language for the hybridization and static condensation of finite element methods. CoRR (2018)
Miklós Homolya, Lawrence Mitchell, Fabio Luporini, David A. Ham
TSFC: A Structure-Preserving Form Compiler. SIAM J. Sci. Comput. 40 (3) (2018)
Fabio Luporini, David A. Ham, Paul H. J. Kelly
An Algorithm for the Optimization of Finite Element Integration Loops. ACM Trans. Math. Softw. 44 (1) (2017)
Miklós Homolya, Lawrence Mitchell, Fabio Luporini, David A. Ham
TSFC: a structure-preserving form compiler. CoRR (2017)
Florian Rathgeber, David A. Ham, Lawrence Mitchell, Michael Lange, Fabio Luporini, Andrew T. T. McRae, Gheorghe-Teodor Bercea, Graham R. Markall, Paul H. J. Kelly
Firedrake: Automating the Finite Element Method by Composing Abstractions. ACM Trans. Math. Softw. 43 (3) (2017)
Miklós Homolya, Robert C. Kirby, David A. Ham
Exposing and exploiting structure: optimal code generation for high-order finite element methods. CoRR (2017)
Fabio Luporini, David A. Ham, Paul H. J. Kelly
An algorithm for the optimization of finite element integration loops. CoRR (2016)
Gheorghe-Teodor Bercea, Andrew T. T. McRae, David A. Ham, Lawrence Mitchell, Florian Rathgeber, Luigi Nardi, Fabio Luporini, Paul H. J. Kelly
A numbering algorithm for finite element on extruded meshes which avoids the unstructured mesh penalty. CoRR (2016)
Andrew T. T. McRae, Gheorghe-Teodor Bercea, Lawrence Mitchell, David A. Ham, Colin J. Cotter
Automated Generation and Symbolic Manipulation of Tensor Product Finite Elements. SIAM J. Sci. Comput. 38 (5) (2016)
Miklós Homolya, David A. Ham
A Parallel Edge Orientation Algorithm for Quadrilateral Meshes. SIAM J. Sci. Comput. 38 (5) (2016)
Thomas Heinis, David A. Ham
On-the-Fly Data Synopses: Efficient Data Exploration in the Simulation Sciences. SIGMOD Rec. 44 (2) (2015)
Miklós Homolya, David A. Ham
A parallel edge orientation algorithm for quadrilateral meshes. CoRR (2015)
Florian Rathgeber, David A. Ham, Lawrence Mitchell, Michael Lange, Fabio Luporini, Andrew T. T. McRae, Gheorghe-Teodor Bercea, Graham R. Markall, Paul H. J. Kelly
Firedrake: automating the finite element method by composing abstractions. CoRR (2015)
Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H. J. Kelly
COFFEE: an Optimizing Compiler for Finite Element Local Assembly. CoRR (2014)
Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H. J. Kelly
Cross-Loop Optimization of Arithmetic Intensity for Finite Element Local Assembly. ACM Trans. Archit. Code Optim. 11 (4) (2014)
Andrew T. T. McRae, Gheorghe-Teodor Bercea, Lawrence Mitchell, David A. Ham, Colin J. Cotter
Automated generation and symbolic manipulation of tensor product finite elements. CoRR (2014)
Juan Du, Fangxin Fang, Christopher C. Pain, I. M. Navon, Jiang Zhu, David A. Ham
POD reduced-order unstructured mesh modeling applied to 2D and 3D fluid flow. Comput. Math. Appl. 65 (3) (2013)
Patrick E. Farrell, David A. Ham, Simon W. Funke, Marie E. Rognes
Automated Derivation of the Adjoint of High-Level Transient Finite Element Programs. SIAM J. Sci. Comput. 35 (4) (2013)
Graham R. Markall, Florian Rathgeber, Lawrence Mitchell, Nicolas Loriant, Carlo Bertolli, David A. Ham, Paul H. J. Kelly
Performance-Portable Finite Element Assembly Using PyOP2 and FEniCS. ISC (2013)
Florian Rathgeber, Graham R. Markall, Lawrence Mitchell, Nicolas Loriant, David A. Ham, Carlo Bertolli, Paul H. J. Kelly
PyOP2: A High-Level Framework for Performance-Portable Simulations on Unstructured Meshes. SC Companion (2012)
Carlo Bertolli, Adam Betts, Nicolas Loriant, Gihan R. Mudalige, David Radford, David A. Ham, Mike B. Giles, Paul H. J. Kelly
Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs. LCPC (2012)
Patrick E. Farrell, David A. Ham, Simon W. Funke, Marie E. Rognes
Automated derivation of the adjoint of high-level transient finite element programs CoRR (2012)
Colin J. Cotter, David A. Ham
-P2 finite element pair. J. Comput. Phys. 230 (8) (2011)
Graham R. Markall, David A. Ham, Paul H. J. Kelly
Towards generating optimised finite element solvers for GPUs from high-level specifications. ICCS (1) (2010)
Colin J. Cotter, David A. Ham, Christopher C. Pain, Sebastian Reich
LBB stability of a mixed Galerkin finite element pair for fluid flow simulations. J. Comput. Phys. 228 (2) (2009)