{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T18:41:36Z","timestamp":1790793696155,"version":"4.1.0"},"reference-count":24,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"5","funder":[{"name":"ARCHER UK National Supercomputing Service","award":["eCSE01-009"],"award-info":[{"award-number":["eCSE01-009"]}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/M019721\/1"],"award-info":[{"award-number":["EP\/M019721\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/L000407\/1"],"award-info":[{"award-number":["EP\/L000407\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002418","name":"Intel Corporation","doi-asserted-by":"publisher","award":["Imperial College London"],"award-info":[{"award-number":["Imperial College London"]}],"id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002418","name":"Intel Corporation","doi-asserted-by":"publisher","award":["University of Chicago"],"award-info":[{"award-number":["University of Chicago"]}],"id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["OCI-1147680"],"award-info":[{"award-number":["OCI-1147680"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000270","name":"Natural Environment Research Council","doi-asserted-by":"publisher","award":["NE\/K006789\/1"],"award-info":[{"award-number":["NE\/K006789\/1"]}],"id":[{"id":"10.13039\/501100000270","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-AC02-06CH11357"],"award-info":[{"award-number":["DE-AC02-06CH11357"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Sci. Comput."],"published-print":{"date-parts":[[2016,1]]},"abstract":"<jats:p>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-known performance optimizations. This work highlights the composition of the PETSc DMPlex domain topology abstraction with the Firedrake automated finite element system to create a PDE solving environment that combines expressiveness, flexibility, and high performance. We describe how Firedrake utilizes DMPlex to provide the indirection maps required for finite element assembly, while supporting various mesh input formats and runtime domain decomposition. In particular, we describe how DMPlex and its accompanying data structures allow the generic creation of user-defined discretizations, while utilizing data layout optimizations that improve cache coherency and ensure overlapped communication during assembly computation.<\/jats:p>","DOI":"10.1137\/15m1026092","type":"journal-article","created":{"date-parts":[[2016,10,27]],"date-time":"2016-10-27T12:06:54Z","timestamp":1477570014000},"page":"S143-S155","source":"Crossref","is-referenced-by-count":44,"title":["Efficient Mesh Management in Firedrake Using PETSc DMPlex"],"prefix":"10.1137","volume":"38","author":[{"given":"Michael","family":"Lange","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lawrence","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew G.","family":"Knepley","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gerard J.","family":"Gorman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2016,10,27]]},"reference":[{"key":"atypb1","first-page":"9","volume":"40","author":"M. S.","year":"2014","journal-title":"ACM Trans. Math. Software"},{"key":"atypb2","volume-title":"Argonne National Laboratory","author":"Balay S.","year":"2015"},{"key":"atypb3","volume-title":"Technical report","author":"Brown J.","year":"2011"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC.2012.16"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2014.95"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1137\/110827077"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1145\/800195.805928"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31619-1_8"},{"key":"atypb9","volume-title":"Computer Solution of Large Sparse Positive Definite Systems","author":"George A.","year":"1981"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1002\/nme.2579"},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1137\/040604078"},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1080\/17445760601122084"},{"key":"atypb14","first-page":"502","volume-title":"ACM Trans. Math. Software, 30","author":"Kirby R. C.","year":"2004"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1155\/2009\/948613"},{"key":"atypb17","first-page":"71","volume-title":"Proceedings of the 3rd International Conference on Exascale Applications and Software (EASC 2015","author":"Lange M.","year":"2015"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1504\/IJCSE.2009.029164"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23099-8_10"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1109\/InPar.2012.6339594"},{"key":"atypb21","volume-title":"Proceedings of the 44th AIAA Aerospace Sciences Meeting and Exhibit, Reno, NV, 2006, AIAA 2006-533","author":"Ollivier-Gooch C."},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1145\/1824801.1864430"},{"key":"atypb23","unstructured":"F. Rathgeber, D. A. Ham, L. Mitchell, M. Lange, F. Luporini, A. T. T. McRae, G.T. Bercea, G. R. Markall, and P. H. J. Kelly,\n                      Firedrake: Automating the finite element method by composing abstractions\n                      , submitted. Preprint version available online at http:\/\/arXiv.org\/abs\/1501.01809 arxiv:1501.01809[cs.MS]."},{"key":"atypb24","first-page":"1116","volume-title":"Proceedings of High Performance Computing, Networking, Storage and Analysis (2012 SC Companion), IEEE Computer Society","author":"Rathgeber F."},{"key":"atypb25","volume-title":"Sandia National Laboratories","author":"Tautges T. J.","year":"2004"},{"key":"atypb26","doi-asserted-by":"publisher","DOI":"10.1145\/1073204.1073278"}],"container-title":["SIAM Journal on Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/15M1026092","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T15:28:02Z","timestamp":1787326082000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/15M1026092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,1]]}},"alternative-id":["10.1137\/15M1026092"],"URL":"https:\/\/doi.org\/10.1137\/15m1026092","relation":{},"ISSN":["1064-8275","1095-7197"],"issn-type":[{"value":"1064-8275","type":"print"},{"value":"1095-7197","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1]]}}}