{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T05:51:56Z","timestamp":1759729916282,"version":"3.41.0"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T00:00:00Z","timestamp":1490572800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"crossref","award":["EP\/L000407\/1"],"award-info":[{"award-number":["EP\/L000407\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000270","name":"Natural Environment Research Council","doi-asserted-by":"crossref","award":["NE\/K008951\/1,NE\/K006789\/1"],"award-info":[{"award-number":["NE\/K008951\/1,NE\/K006789\/1"]}],"id":[{"id":"10.13039\/501100000270","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Math. Softw."],"published-print":{"date-parts":[[2018,3,31]]},"abstract":"<jats:p>We present an algorithm for the optimization of a class of finite-element integration loop nests. This algorithm, which exploits fundamental mathematical properties of finite-element operators, is proven to achieve a locally optimal operation count. In specified circumstances the optimum achieved is global. Extensive numerical experiments demonstrate significant performance improvements over the state of the art in finite-element code generation in almost all cases. This validates the effectiveness of the algorithm presented here and illustrates its limitations.<\/jats:p>","DOI":"10.1145\/3054944","type":"journal-article","created":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T12:25:10Z","timestamp":1490617510000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["An Algorithm for the Optimization of Finite Element Integration Loops"],"prefix":"10.1145","volume":"44","author":[{"given":"Fabio","family":"Luporini","sequence":"first","affiliation":[{"name":"Imperial College London"}]},{"given":"David A.","family":"Ham","sequence":"additional","affiliation":[{"name":"Imperial College London"}]},{"given":"Paul H. J.","family":"Kelly","sequence":"additional","affiliation":[{"name":"Imperial College London"}]}],"member":"320","published-online":{"date-parts":[[2017,3,27]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Martin Sandve Aln\u00e6s. 2016. UFLACS\u2014UFL Analyser and Compiler System. Retrieved from https:\/\/bitbucket.org\/fenics-project\/uflacs.  Martin Sandve Aln\u00e6s. 2016. UFLACS\u2014UFL Analyser and Compiler System. Retrieved from https:\/\/bitbucket.org\/fenics-project\/uflacs."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2566630"},{"key":"e_1_2_1_3_1","volume-title":"chrisrichardson, and Kent-Andre Mardal","author":"Aln\u00e6s Martin Sandve","year":"2016","unstructured":"Martin Sandve Aln\u00e6s , Anders Logg , Garth Wells , Lawrence Mitchell , Marie E. Rognes , Mikl\u00f3s Homolya , Aslak Bergersen , David A. Ham , Johannes Ring , chrisrichardson, and Kent-Andre Mardal . 2016 . ufl: The Unified Form Language . Martin Sandve Aln\u00e6s, Anders Logg, Garth Wells, Lawrence Mitchell, Marie E. Rognes, Mikl\u00f3s Homolya, Aslak Bergersen, David A. Ham, Johannes Ring, chrisrichardson, and Kent-Andre Mardal. 2016. ufl: The Unified Form Language."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5194\/gmd-9-3803-2016"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"e_1_2_1_6_1","unstructured":"Firedrake. 2016. petsc4py: The Python interface to PETSc.  Firedrake. 2016. petsc4py: The Python interface to PETSc."},{"key":"e_1_2_1_7_1","unstructured":"Mikl\u00f3s Homolya and Lawrence Mitchell. 2016. TSFC\u2014Two-Stage Form Compiler. Retrieved from https:\/\/github.com\/firedrakeproject\/tsfc.  Mikl\u00f3s Homolya and Lawrence Mitchell. 2016. TSFC\u2014Two-Stage Form Compiler. Retrieved from https:\/\/github.com\/firedrakeproject\/tsfc."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1163641.1163644"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1268769.1268771"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349320"},{"volume-title":"Marie E. Rognes, Garth Wells, Johannes Ring","author":"Logg Anders","key":"e_1_2_1_11_1","unstructured":"Anders Logg , Martin Sandve Aln\u00e6s , Marie E. Rognes, Garth Wells, Johannes Ring , Lawrence Mitchell , Johan Hake, Mikl\u00f3s Homolya, Florian Rathgeber, Fabio Luporini, Graham Markall, Aslak Bergersen , Lizao Li, David A. Ham, Kent-Andre Mardal, Jan Blechta, Gheorghe-Teodor Bercea, Tuomas Airaksinen, Nico Schl\u00f6mer, Hans Petter Langtangen, Colin J Cotter, Ola Skavhaug, Thomas Hisch, mliertzer, Joachim B Haga, and Andrew T. T. McRae. 2016. ffc: The FEniCS Form Compiler. Anders Logg, Martin Sandve Aln\u00e6s, Marie E. Rognes, Garth Wells, Johannes Ring, Lawrence Mitchell, Johan Hake, Mikl\u00f3s Homolya, Florian Rathgeber, Fabio Luporini, Graham Markall, Aslak Bergersen, Lizao Li, David A. Ham, Kent-Andre Mardal, Jan Blechta, Gheorghe-Teodor Bercea, Tuomas Airaksinen, Nico Schl\u00f6mer, Hans Petter Langtangen, Colin J Cotter, Ola Skavhaug, Thomas Hisch, mliertzer, Joachim B Haga, and Andrew T. T. McRae. 2016. ffc: The FEniCS Form Compiler."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23099-8"},{"key":"e_1_2_1_13_1","unstructured":"Fabio Luporini. 2016. Firedrake-generated code using different form compilers.  Fabio Luporini. 2016. Firedrake-generated code using different form compilers."},{"key":"e_1_2_1_14_1","volume-title":"COFFEE: A Compiler for Fast Expression Evaluation.","author":"Luporini Fabio","year":"2016","unstructured":"Fabio Luporini , Lawrence Mitchell , Mikl\u00f3s Homolya , Florian Rathgeber , David A. Ham , Michael Lange , Graham Markall , and Francis Russell . 2016 . COFFEE: A Compiler for Fast Expression Evaluation. Fabio Luporini, Lawrence Mitchell, Mikl\u00f3s Homolya, Florian Rathgeber, David A. Ham, Michael Lange, Graham Markall, and Francis Russell. 2016. COFFEE: A Compiler for Fast Expression Evaluation."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2687415"},{"key":"e_1_2_1_16_1","volume-title":"Henrik B\u00fcsing, Tuomas K\u00e4rn\u00e4, Anna Kalogirou, Hannah Rittich, Eike Hermann Mueller, Stephan Kramer, Graham Markall, Patrick E. Farrell, Geordie McBain, and Asbj\u00f8rn Nilsen Riseth.","author":"Mitchell Lawrence","year":"2016","unstructured":"Lawrence Mitchell , David A. Ham , Florian Rathgeber , Mikl\u00f3s Homolya , Andrew T. T. McRae , Gheorghe-Teodor Bercea , Michael Lange , Colin J Cotter , Christian T. Jacobs , Fabio Luporini , Simon Wolfgang Funke , Henrik B\u00fcsing, Tuomas K\u00e4rn\u00e4, Anna Kalogirou, Hannah Rittich, Eike Hermann Mueller, Stephan Kramer, Graham Markall, Patrick E. Farrell, Geordie McBain, and Asbj\u00f8rn Nilsen Riseth. 2016 . firedrake: An automated finite element system. Lawrence Mitchell, David A. Ham, Florian Rathgeber, Mikl\u00f3s Homolya, Andrew T. T. McRae, Gheorghe-Teodor Bercea, Michael Lange, Colin J Cotter, Christian T. Jacobs, Fabio Luporini, Simon Wolfgang Funke, Henrik B\u00fcsing, Tuomas K\u00e4rn\u00e4, Anna Kalogirou, Hannah Rittich, Eike Hermann Mueller, Stephan Kramer, Graham Markall, Patrick E. Farrell, Geordie McBain, and Asbj\u00f8rn Nilsen Riseth. 2016. firedrake: An automated finite element system."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644001.1644009"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2998441"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Florian Rathgeber Fabio Luporini and Lawrence Mitchell. 2016b. firedrake-bench: firedrake bench optimality paper release.  Florian Rathgeber Fabio Luporini and Lawrence Mitchell. 2016b. firedrake-bench: firedrake bench optimality paper release.","DOI":"10.1145\/2998441"},{"key":"e_1_2_1_20_1","volume-title":"Simon Wolfgang Funke, Kaho Sato, and Francis Russell.","author":"Rathgeber Florian","year":"2016","unstructured":"Florian Rathgeber , Lawrence Mitchell , Fabio Luporini , Graham Markall , David A. Ham , Gheorghe-Teodor Bercea , Mikl\u00f3s Homolya , Andrew T. T. McRae , Hector Dearman , Christian T. Jacobs , gbts , Simon Wolfgang Funke, Kaho Sato, and Francis Russell. 2016 c. PyOP2: Framework for performance-portable parallel computations on unstructured meshes. Florian Rathgeber, Lawrence Mitchell, Fabio Luporini, Graham Markall, David A. Ham, Gheorghe-Teodor Bercea, Mikl\u00f3s Homolya, Andrew T. T. McRae, Hector Dearman, Christian T. Jacobs, gbts, Simon Wolfgang Funke, Kaho Sato, and Francis Russell. 2016c. PyOP2: Framework for performance-portable parallel computations on unstructured meshes."},{"key":"e_1_2_1_21_1","unstructured":"Marie E. Rognes Anders Logg David A. Ham Mikl\u00f3s Homolya Nico Schl\u00f6mer Jan Blechta Andrew T. T. McRae Aslak Bergersen Colin J. Cotter Johannes Ring and Lawrence Mitchell. 2016. fiat: The Finite Element Automated Tabulator.  Marie E. Rognes Anders Logg David A. Ham Mikl\u00f3s Homolya Nico Schl\u00f6mer Jan Blechta Andrew T. T. McRae Aslak Bergersen Colin J. Cotter Johannes Ring and Lawrence Mitchell. 2016. fiat: The Finite Element Automated Tabulator."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491491.2491496"},{"key":"e_1_2_1_23_1","volume-title":"Hong Zhang, Peter Brune, sarich, stefanozampini, Dmitry Karpeyev, Lisandro Dalcin, tisaac, markadams, Victor Minden, VictorEijkhout, vijaysm, Karl Rupp, Fande Kong, and SurtaiHan.","author":"Smith Barry","year":"2016","unstructured":"Barry Smith , Satish Balay , Matthew Knepley , Jed Brown , Lois Curfman McInnes , Hong Zhang, Peter Brune, sarich, stefanozampini, Dmitry Karpeyev, Lisandro Dalcin, tisaac, markadams, Victor Minden, VictorEijkhout, vijaysm, Karl Rupp, Fande Kong, and SurtaiHan. 2016 . petsc: Portable, Extensible Toolkit for Scientific Computation . Barry Smith, Satish Balay, Matthew Knepley, Jed Brown, Lois Curfman McInnes, Hong Zhang, Peter Brune, sarich, stefanozampini, Dmitry Karpeyev, Lisandro Dalcin, tisaac, markadams, Victor Minden, VictorEijkhout, vijaysm, Karl Rupp, Fande Kong, and SurtaiHan. 2016. petsc: Portable, Extensible Toolkit for Scientific Computation."}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3054944","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3054944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:43Z","timestamp":1750217803000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3054944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,27]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3,31]]}},"alternative-id":["10.1145\/3054944"],"URL":"https:\/\/doi.org\/10.1145\/3054944","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"type":"print","value":"0098-3500"},{"type":"electronic","value":"1557-7295"}],"subject":[],"published":{"date-parts":[[2017,3,27]]},"assertion":[{"value":"2016-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-03-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}