Robert C. Kirby

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 40

Top Topics

Laplace Transform

Partial Differential Equations

Code Generation

Top Venues

Numerische Mathematik

Comput. Math. Appl.

SIAM J. Sci. Comput.

Publications

Robert C. Kirby, Daniel Shapero
High-order bounds-satisfying approximation of partial differential equations via finite element variational inequalities. Numerische Mathematik 156 (3) (2024)
Robert C. Kirby, Xiaoyu Wei, Andreas Klöckner
Exact domain truncation for the Morse-ingard equations. Comput. Math. Appl. 162 (2024)
Andreas Bock, Colin J. Cotter, Robert C. Kirby
Planar curve registration using Bayesian inversion. Comput. Math. Appl. 159 (2024)
Robert C. Kirby, Scott P. MacLachlan
Extending Irksome: improvements in automated Runge-Kutta time stepping for finite element methods. CoRR (2024)
Andreas Bock, Colin J. Cotter, Robert C. Kirby
Planar Curve Registration using Bayesian Inversion. CoRR (2023)
Robert C. Kirby
On the convergence of monolithic multigrid for implicit Runge-Kutta time stepping of finite element problems. CoRR (2023)
Jorge Marchena-Menendez, Robert C. Kirby
Additive Schwarz Methods for Serendipity Elements. SIAM J. Sci. Comput. 45 (3) (2023)
Robert C. Kirby, Daniel Shapero
High-order bounds-satisfying approximation of partial differential equations via finite element variational inequalities. CoRR (2023)
Xiaoyu Wei, Andreas Klöckner, Robert C. Kirby
Integral equation methods for the Morse-Ingard equations. J. Comput. Phys. 492 (2023)
Colin J. Cotter, Robert C. Kirby, Hunter Morris
Weighted-Norm Preconditioners for a Multilayer Tide Model. SIAM J. Sci. Comput. 45 (4) (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)
Xiaoyu Wei, Andreas Klöckner, Robert C. Kirby
Integral Equation Methods for the Morse-Ingard Equations. CoRR (2022)
Larry Allen, Robert C. Kirby
Bounds-constrained polynomial approximation using the Bernstein basis. Numerische Mathematik 152 (1) (2022)
Colin J. Cotter, Robert C. Kirby, Hunter Morris
Weighted-norm preconditioners for a multi-layer tide model. CoRR (2022)
Robert C. Kirby, Xiaoyu Wei, Andreas Klöckner
Exact domain truncation for the Morse-Ingard equations. CoRR (2022)
Robert C. Kirby, Tate Kernell
Preconditioning mixed finite elements for tide models. Comput. Math. Appl. 82 (2021)
Patrick E. Farrell, Robert C. Kirby, Jorge Marchena-Menendez
Irksome: Automating Runge-Kutta Time-stepping for Finite Element Methods. ACM Trans. Math. Softw. 47 (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)
Larry Allen, Robert C. Kirby
Structured Inversion of the Bernstein-Vandermonde Matrix. SIAM J. Matrix Anal. Appl. 42 (2) (2021)
Francis Aznaran, Robert C. Kirby, Patrick E. Farrell
Transformations for Piola-mapped elements. CoRR (2021)
Robert C. Kirby, Andreas Klöckner, Ben Sepanski
Finite Elements for Helmholtz Equations with a Nonlocal Boundary Condition. SIAM J. Sci. Comput. 43 (3) (2021)
Jorge Marchena-Menendez, Robert C. Kirby
Additive Schwarz methods for serendipity elements. CoRR (2021)
Keith J. Roberts, Alexandre Olender, Lucas Franceschini, Robert C. Kirby, Rafael dos Santos Gioria, Bruno S. Carmo
Full waveform inversion using triangular waveform adapted meshes. CoRR (2021)
Larry Allen, Robert C. Kirby
Bounds-constrained polynomial approximation using the Bernstein basis. CoRR (2021)
Larry Allen, Robert C. Kirby
Structured inversion of the Bernstein-Vandermonde Matrix. CoRR (2020)
Robert C. Kirby, Andreas Klöckner, Ben Sepanski
Finite elements for Helmholtz equations with a nonlocal boundary condition. CoRR (2020)
Larry Allen, Robert C. Kirby
Structured Inversion of the Bernstein Mass Matrix. SIAM J. Matrix Anal. Appl. 41 (2) (2020)
Patrick E. Farrell, Robert C. Kirby, Jorge Marchena-Menendez
Irksome: Automating Runge-Kutta time-stepping for finite element methods. CoRR (2020)
Tate Kernell, Robert C. Kirby
Preconditioning mixed finite elements for tide models. CoRR (2020)
Robert C. Kirby, Peter Coogan
Optimal-order preconditioners for the Morse-Ingard equations. Comput. Math. Appl. 79 (8) (2020)
Peter Coogan, Robert C. Kirby
Optimal-order preconditioners for the Morse-Ingard equations. CoRR (2019)
Larry Allen, Robert C. Kirby
Structured inversion of the Bernstein mass matrix. CoRR (2019)
Robert C. Kirby, Lawrence Mitchell
Code Generation for Generally Mapped Finite Elements. ACM Trans. Math. Softw. 45 (4) (2019)
Colin J. Cotter, P. Jameson Graber, Robert C. Kirby
Mixed finite elements for global tide models with nonlinear damping. Numerische Mathematik 140 (4) (2018)
Robert C. Kirby, Lawrence Mitchell
Solver Composition Across the PDE/Linear Algebra Barrier. SIAM J. Sci. Comput. 40 (1) (2018)
Robert C. Kirby, Lawrence Mitchell
Code generation for generally mapped finite elements. CoRR (2018)
Robert C. Kirby, Lawrence Mitchell
Solver composition across the PDE/linear algebra barrier. CoRR (2017)
Robert C. Kirby
Fast inversion of the simplicial Bernstein mass matrix. Numerische Mathematik 135 (1) (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)
Colin J. Cotter, Robert C. Kirby
Mixed finite elements for global tide models. Numerische Mathematik 133 (2) (2016)
Brian Brennan, Robert C. Kirby
Finite element approximation and preconditioners for a coupled thermal-acoustic model. Comput. Math. Appl. 70 (10) (2015)
Robert C. Kirby, Thinh Tri Kieu
Symplectic-mixed finite element approximation of linear acoustic wave equations. Numerische Mathematik 130 (2) (2015)
Robert C. Kirby
High-Performance Evaluation of Finite Element Variational Forms via Commuting Diagrams and Duality. ACM Trans. Math. Softw. 40 (4) (2014)
Robert C. Kirby
Low-Complexity Finite Element Algorithms for the de Rham Complex on Simplices. SIAM J. Sci. Comput. 36 (2) (2014)
Victoria E. Howle, Robert C. Kirby, Geoffrey Dillon
Block Preconditioners for Coupled Physics Problems. SIAM J. Sci. Comput. 35 (5) (2013)
Pavel B. Bochev, H. Carter Edwards, Robert C. Kirby, Kara Peterson, Denis Ridzal
Solving PDEs with Intrepid. Sci. Program. 20 (2) (2012)
Victoria E. Howle, Robert C. Kirby
Block preconditioners for finite element discretization of incompressible flow with thermal convection. Numer. Linear Algebra Appl. 19 (2) (2012)
Robert C. Kirby, Thinh Tri Kieu
Fast simplicial quadrature-based finite element operators using Bernstein polynomials. Numerische Mathematik 121 (2) (2012)
Victoria E. Howle, Robert C. Kirby, Kevin Long, Brian Brennan, Kimberly Kennedy
Playa: High-performance programmable linear algebra. Sci. Program. 20 (3) (2012)
Robert C. Kirby
Fast simplicial finite element algorithms using Bernstein polynomials. Numerische Mathematik 117 (4) (2011)
Kevin R. Long, Robert C. Kirby, Bart G. van Bloemen Waanders
Unified Embedded Parallel Finite Element Computations via Software-Based Fr[e-acute]chet Differentiation. SIAM J. Sci. Comput. 32 (6) (2010)
Robert C. Kirby
From Functional Analysis to Iterative Methods. SIAM Rev. 52 (2) (2010)
Robert C. Kirby
Singularity-free evaluation of collapsed-coordinate orthogonal polynomials. ACM Trans. Math. Softw. 37 (1) (2010)
Marie E. Rognes, Robert C. Kirby, Anders Logg
Efficient Assembly of $H(\mathrmdiv) and H(\mathrmcurl)$ Conforming Finite Elements. SIAM J. Sci. Comput. 31 (6) (2009)
Robert C. Kirby, Anders Logg
Benchmarking Domain-Specific Compiler Optimizations for Variational Forms. ACM Trans. Math. Softw. 35 (2) (2008)
Robert C. Kirby, Anders Logg
Efficient compilation of a class of variational forms. ACM Trans. Math. Softw. 33 (3) (2007)
Robert C. Kirby, L. Ridgway Scott
Geometric Optimization of the Evaluation of Finite Element Matrices. SIAM J. Sci. Comput. 29 (2) (2007)
Robert C. Kirby, Anders Logg, L. Ridgway Scott, Andy R. Terrel
Topological Optimization of the Evaluation of Finite Element Matrices. SIAM J. Sci. Comput. 28 (1) (2006)
Robert C. Kirby
Optimizing FIAT with level 3 BLAS. ACM Trans. Math. Softw. 32 (2) (2006)
Robert C. Kirby, Anders Logg
A compiler for variational forms. ACM Trans. Math. Softw. 32 (3) (2006)
Robert C. Kirby, Matthew G. Knepley, Anders Logg, L. Ridgway Scott
Optimizing the Evaluation of Finite Element Matrices. SIAM J. Sci. Comput. 27 (3) (2005)
Robert C. Kirby
Algorithm 839: FIAT, a new paradigm for computing finite element basis functions. ACM Trans. Math. Softw. 30 (4) (2004)
Robert C. Kirby
On the convergence of high resolution methods with multiple time scales for hyperbolic conservation laws. Math. Comput. 72 (243) (2003)
Robert C. Kirby
A new look at expression templates for matrix computation. Comput. Sci. Eng. 5 (3) (2003)
Clint Dawson, Robert C. Kirby
High Resolution Schemes for Conservation Laws with Locally Varying Time Steps. SIAM J. Sci. Comput. 22 (6) (2001)
Clint Dawson, Robert C. Kirby
Solution of Parabolic Equations by Backward Euler-Mixed Finite Element Methods on a Dynamically Changing Mesh. SIAM J. Numer. Anal. 37 (2) (1999)