Lawrence Mitchell

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 32

Top Topics

Code Generation

Top Venues

SIAM J. Sci. Comput.

ACM Trans. Math. Softw.

J. Comput. Phys.

Publications

George Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser
A shared compilation stack for distributed-memory parallelism in stencil DSLs. ASPLOS (3) (2024)
David A. Ham, Vaclav Hapla, Matthew G. Knepley, Lawrence Mitchell, Koki Sagiyama
Efficient N-to-M Checkpointing Algorithm for Finite Element Simulations. CoRR (2024)
George Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser
A shared compilation stack for distributed-memory parallelism in stencil DSLs. CoRR (2024)
Patrick E. Farrell, Lawrence Mitchell, L. Ridgway Scott
Two Conjectures on the Stokes Complex in Three Dimensions on Freudenthal Meshes. SIAM J. Sci. Comput. 46 (2) (2024)
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)
Patrick E. Farrell, Lawrence Mitchell, L. Ridgway Scott
Two conjectures on the Stokes complex in three dimensions on Freudenthal meshes. CoRR (2022)
Fabian Laakmann, Patrick E. Farrell, Lawrence Mitchell
An Augmented Lagrangian Preconditioner for the Magnetohydrodynamics Equations at High Reynolds and Coupling Numbers. SIAM J. Sci. Comput. 44 (4) (2022)
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)
Fabian Laakmann, Patrick E. Farrell, Lawrence Mitchell
An augmented Lagrangian preconditioner for the magnetohydrodynamics equations at high Reynolds and coupling numbers. CoRR (2021)
Patrick E. Farrell, Matthew G. Knepley, Lawrence Mitchell, Florian Wechsung
PCPATCH: Software for the Topological Construction of Multigrid Relaxation Methods. ACM Trans. Math. Softw. 47 (3) (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)
Patrick E. Farrell, Lawrence Mitchell, L. Ridgway Scott, Florian Wechsung
Robust multigrid methods for nearly incompressible elasticity using macro elements. CoRR (2020)
Patrick E. Farrell, Lawrence Mitchell, L. Ridgway Scott, Florian Wechsung
A Reynolds-robust preconditioner for the Reynolds-robust Scott-Vogelius discretization of the stationary incompressible Navier-Stokes equations. CoRR (2020)
Patrick E. Farrell, Matthew G. Knepley, Florian Wechsung, Lawrence Mitchell
PCPATCH: software for the topological construction of multigrid relaxation methods. CoRR (2019)
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)
Patrick E. Farrell, Lawrence Mitchell, Florian Wechsung
An Augmented Lagrangian Preconditioner for the 3D Stationary Incompressible Navier-Stokes Equations at High Reynolds Number. SIAM J. Sci. Comput. 41 (5) (2019)
Robert C. Kirby, Lawrence Mitchell
Code Generation for Generally Mapped Finite Elements. ACM Trans. Math. Softw. 45 (4) (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)
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)
Miklós Homolya, Lawrence Mitchell, Fabio Luporini, David A. Ham
TSFC: a structure-preserving form compiler. CoRR (2017)
Robert C. Kirby, Lawrence Mitchell
Solver composition across the PDE/linear algebra barrier. CoRR (2017)
Hiroe Yamazaki, Jemma Shipton, Michael J. P. Cullen, Lawrence Mitchell, Colin J. Cotter
Vertical slice modelling of nonlinear Eady waves using a compatible finite element method. J. Comput. Phys. 343 (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)
Michael Lange, Lawrence Mitchell, Matthew G. Knepley, Gerard J. Gorman
Efficient Mesh Management in Firedrake Using PETSc DMPlex. SIAM J. Sci. Comput. 38 (5) (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)
Lawrence Mitchell, Eike Hermann Müller
High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling. CoRR (2016)
Lawrence Mitchell, Eike Hermann Müller
High level implementation of geometric multigrid solvers for finite element problems: Applications in atmospheric modelling. J. Comput. Phys. 327 (2016)
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)
Michael Lange, Lawrence Mitchell, Matthew G. Knepley, Gerard J. Gorman
Efficient mesh management in Firedrake using PETSc-DMPlex. CoRR (2015)
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)
Lawrence Mitchell, Terence M. Sloan, Muriel Mewissen, Peter Ghazal, Thorsten Forster, Michal Piotrowski, Arthur S. Trew
Parallel classification and feature selection in microarray data using SPRINT. Concurr. Comput. Pract. Exp. 26 (4) (2014)
Michael Lange, Gerard Gorman, Michèle Weiland, Lawrence Mitchell, Xiaohu Guo, James Southern
Benchmarking mixed-mode PETSc performance on high-performance architectures. CoRR (2013)
Michael Lange, Gerard Gorman, Michèle Weiland, Lawrence Mitchell, James Southern
Achieving Efficient Strong Scaling with PETSc Using Hybrid MPI/OpenMP Optimisation. ISC (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)
Michael Lange, Gerard Gorman, Michèle Weiland, Lawrence Mitchell, James Southern
Achieving Efficient Strong Scaling with PETSc using Hybrid MPI/OpenMP Optimisation CoRR (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)
Aurel Neic, Manfred Liebmann, Elena Hoetzl, Lawrence Mitchell, Edward J. Vigmond, Gundolf Haase, Gernot Plank
Accelerating Cardiac Bidomain Simulations Using Graphics Processing Units. IEEE Trans. Biomed. Eng. 59 (8) (2012)
Michèle Weiland, Lawrence Mitchell, Gerard Gorman, Stephan Kramer, Mark Parsons, James Southern
Mixed-mode implementation of PETSc for scalable linear algebra on multi-core processors CoRR (2012)
Michal Piotrowski, Terence M. Sloan, Muriel Mewissen, Thorsten Forster, Lawrence Mitchell, Savvas Petrou, Bartosz Dobrzelecki, Peter Ghazal, Arthur S. Trew, Jon Hill
Optimisation and parallelisation of the partitioning around medoids function in R. HPCS (2011)