{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T00:21:20Z","timestamp":1773966080166,"version":"3.50.1"},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T00:00:00Z","timestamp":1585612800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nd\/4.0\/"}],"funder":[{"name":"Imperial College London Intel Parallel Computing Centre"},{"name":"Imperial College London Department of Computing"},{"name":"U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, Applied Mathematics and Computer Science","award":["DE-AC02-06CH11357"],"award-info":[{"award-number":["DE-AC02-06CH11357"]}]},{"DOI":"10.13039\/100008065","name":"Georgia Research Alliance","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100008065","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/I00677X\/1,EP\/L000407\/1,EP\/I012036\/1"],"award-info":[{"award-number":["EP\/I00677X\/1,EP\/L000407\/1,EP\/I012036\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006778","name":"Georgia Institute of Technology","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100006778","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":[[2020,3,31]]},"abstract":"<jats:p>\n            Stencil computations are a key part of many high-performance computing applications, such as image processing, convolutional neural networks, and finite-difference solvers for partial differential equations. Devito is a framework capable of generating highly optimized code given symbolic equations expressed in\n            <jats:italic>Python<\/jats:italic>\n            , specialized in, but not limited to, affine (stencil) codes. The lowering process\u2014from mathematical equations down to C++ code\u2014is performed by the Devito compiler through a series of intermediate representations. Several performance optimizations are introduced, including advanced common sub-expressions elimination, tiling, and parallelization. Some of these are obtained through well-established stencil optimizers, integrated in the backend of the Devito compiler. The architecture of the Devito compiler, as well as the performance optimizations that are applied when generating code, are presented. The effectiveness of such performance optimizations is demonstrated using operators drawn from seismic imaging applications.\n          <\/jats:p>","DOI":"10.1145\/3374916","type":"journal-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T14:37:58Z","timestamp":1588603078000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":84,"title":["Architecture and Performance of Devito, a System for Automated Stencil Computation"],"prefix":"10.1145","volume":"46","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7161-2942","authenticated-orcid":false,"given":"Fabio","family":"Luporini","sequence":"first","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1255-2107","authenticated-orcid":false,"given":"Mathias","family":"Louboutin","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Michael","family":"Lange","sequence":"additional","affiliation":[{"name":"European Centre for Medium-Range Weather Forecasts"}]},{"given":"Navjot","family":"Kukreja","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]},{"given":"Philipp","family":"Witte","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Jan","family":"H\u00fcckelheim","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]},{"given":"Charles","family":"Yount","sequence":"additional","affiliation":[{"name":"Intel Corporation"}]},{"given":"Paul H. J.","family":"Kelly","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]},{"given":"Felix J.","family":"Herrmann","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Gerard J.","family":"Gorman","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2020,4,26]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho Alfred V.","year":"2007","unstructured":"Alfred V. Aho , Monica S. Lam , Ravi Sethi , and Jeffrey D. Ullman ( Eds .) . 2007 . Compilers: Principles, Techniques, and Tools ( 2 nd ed.). Pearson\/Addison Wesley , Boston, MA . http:\/\/www.loc.gov\/catdir\/toc\/ecip0618\/2006024333.html. Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman (Eds.). 2007. Compilers: Principles, Techniques, and Tools (2nd ed.). Pearson\/Addison Wesley, Boston, MA. http:\/\/www.loc.gov\/catdir\/toc\/ecip0618\/2006024333.html.","edition":"2"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2566630"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"A. Arbona B. Mi\u00f1ano A. Rigo C. Bona C. Palenzuela A. Artigues C. Bona-Casas and J. Mass\u00f3. 2017. Simflowny 2: An upgraded platform for scientific modeling and simulation. arXiv:1702.04715.  A. Arbona B. Mi\u00f1ano A. Rigo C. Bona C. Palenzuela A. Artigues C. Bona-Casas and J. Mass\u00f3. 2017. Simflowny 2: An upgraded platform for scientific modeling and simulation. arXiv:1702.04715.","DOI":"10.1016\/j.cpc.2018.03.015"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201908)","author":"Bondhugula Uday","unstructured":"Uday Bondhugula , Albert Hartono , J. Ramanujam , and P. Sadayappan . 2008. A practical automatic polyhedral parallelizer and locality optimizer . In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201908) . ACM, New York, NY, 101--113. DOI:https:\/\/doi.org\/10.1145\/1375581.1375595 10.1145\/1375581.1375595 Uday Bondhugula, Albert Hartono, J. Ramanujam, and P. Sadayappan. 2008. A practical automatic polyhedral parallelizer and locality optimizer. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201908). ACM, New York, NY, 101--113. DOI:https:\/\/doi.org\/10.1145\/1375581.1375595"},{"key":"e_1_2_1_5_1","volume-title":"The Mathematical Theory of Finite Element Methods","author":"Brenner Susanne C.","unstructured":"Susanne C. Brenner and L. Ridgway Scott . 2008. The Mathematical Theory of Finite Element Methods . Vol. 15 . Springer , New York, NY . DOI:https:\/\/doi.org\/10.1007\/978-0-387-75934-0 10.1007\/978-0-387-75934-0 Susanne C. Brenner and L. Ridgway Scott. 2008. The Mathematical Theory of Finite Element Methods. Vol. 15. Springer, New York, NY. DOI:https:\/\/doi.org\/10.1007\/978-0-387-75934-0"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/362052.362059"},{"key":"e_1_2_1_7_1","volume-title":"ALPAL: A Tool for the Development of Large-Scale Simulation Codes. Technical Report.","author":"Cook Grant O.","year":"1988","unstructured":"Grant O. Cook Jr . 1988 . ALPAL: A Tool for the Development of Large-Scale Simulation Codes. Technical Report. Lawrence Livermore National Laboratory, Livermore, CA. Grant O. Cook Jr. 1988. ALPAL: A Tool for the Development of Large-Scale Simulation Codes. Technical Report. Lawrence Livermore National Laboratory, Livermore, CA."},{"key":"e_1_2_1_8_1","first-page":"2","article-title":"On the partial difference equations of mathematical physics","volume":"11","author":"Courant R.","year":"1967","unstructured":"R. Courant , K. Friedrichs , and H. Lewy . 1967 . On the partial difference equations of mathematical physics . International Business Machines (IBM) Journal of Research and Development 11 , 2 (March 1967), 215--234. DOI:https:\/\/doi.org\/10.1147\/rd.112.0215 10.1147\/rd.112.0215 R. Courant, K. Friedrichs, and H. Lewy. 1967. On the partial difference equations of mathematical physics. International Business Machines (IBM) Journal of Research and Development 11, 2 (March 1967), 215--234. DOI:https:\/\/doi.org\/10.1147\/rd.112.0215","journal-title":"International Business Machines (IBM) Journal of Research and Development"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of iWAPT 2009: The 4th International Workshop on Automatic Performance Tuning.","author":"Datta Kaushik","year":"2009","unstructured":"Kaushik Datta , Samuel Williams , Vasily Volkov , Jonathan Carter , Leonid Oliker , John Shalf , and Katherine Yelick . 2009 . Auto-tuning the 27-point stencil for multicore . In Proceedings of iWAPT 2009: The 4th International Workshop on Automatic Performance Tuning. Kaushik Datta, Samuel Williams, Vasily Volkov, Jonathan Carter, Leonid Oliker, John Shalf, and Katherine Yelick. 2009. Auto-tuning the 27-point stencil for multicore. In Proceedings of iWAPT 2009: The 4th International Workshop on Automatic Performance Tuning."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/377792.377807"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133898"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2018.00158"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5334\/jors.ag"},{"key":"e_1_2_1_14_1","volume-title":"n.d. OpenFOAM v5 User Guide. Retrieved","author":"Foundation The","year":"2020","unstructured":"The OpenFOAM Foundation . n.d. OpenFOAM v5 User Guide. Retrieved March 17, 2020 from https:\/\/cfd.direct\/openfoam\/user-guide\/. The OpenFOAM Foundation. n.d. OpenFOAM v5 User Guide. Retrieved March 17, 2020 from https:\/\/cfd.direct\/openfoam\/user-guide\/."},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 11th International Conference on Software Engineering Research and Practice (SERP\u201913)","author":"Hawick K. A.","unstructured":"K. A. Hawick and D. P. Playne . 2013. Simulation software generation using a domain-specific language for partial differential field equations . In Proceedings of the 11th International Conference on Software Engineering Research and Practice (SERP\u201913) . SER3829. K. A. Hawick and D. P. Playne. 2013. Simulation software generation using a domain-specific language for partial differential field equations. In Proceedings of the 11th International Conference on Software Engineering Research and Practice (SERP\u201913). SER3829."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1987-0890254-1"},{"key":"e_1_2_1_17_1","volume-title":"Sandham","author":"Jacobs Christian T.","year":"2016","unstructured":"Christian T. Jacobs , Satya P. Jammy , and Neil D . Sandham . 2016 . OpenSBLI : A framework for the automated derivation and parallel execution of finite difference solvers on a range of computer architectures. arXiv:1609.01277. Christian T. Jacobs, Satya P. Jammy, and Neil D. Sandham. 2016. OpenSBLI: A framework for the automated derivation and parallel execution of finite difference solvers on a range of computer architectures. arXiv:1609.01277."},{"key":"e_1_2_1_18_1","unstructured":"Jim Jeffers and James Reinders. 2015. High Performance Parallelism Pearls Volume Two: Multicore and Many-Core Programming Approaches. Morgan Kaufmann San Francisco CA.  Jim Jeffers and James Reinders. 2015. High Performance Parallelism Pearls Volume Two: Multicore and Many-Core Programming Approaches. Morgan Kaufmann San Francisco CA."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627373.2627387"},{"key":"e_1_2_1_20_1","volume-title":"Retrieved","author":"Kl\u00f6ckner Andreas","year":"2016","unstructured":"Andreas Kl\u00f6ckner . 2016 . CGen - C\/C++ Source Generation from an AST . Retrieved March 17, 2020 from https:\/\/github.com\/inducer\/cgen. Andreas Kl\u00f6ckner. 2016. CGen - C\/C++ Source Generation from an AST. Retrieved March 17, 2020 from https:\/\/github.com\/inducer\/cgen."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49956-7_13"},{"key":"e_1_2_1_22_1","volume-title":"Lecture Notes in Computer Science","volume":"8806","author":"Lengauer Christian","year":"2014","unstructured":"Christian Lengauer , Sven Apel , Matthias Bolten , Armin Gr\u00f6\u00dflinger , Frank Hannig , Harald K\u00f6stler , Ulrich R\u00fcde , 2014 . ExaStencils: Advanced stencil-code engineering. In Euro-Par 2014: Parallel Processing Workshops . Lecture Notes in Computer Science , Vol. 8806 . Springer, 553\u2013564. DOI:https:\/\/doi.org\/10.1007\/978-3-319-14313-2_47 10.1007\/978-3-319-14313-2_47 Christian Lengauer, Sven Apel, Matthias Bolten, Armin Gr\u00f6\u00dflinger, Frank Hannig, Harald K\u00f6stler, Ulrich R\u00fcde, et al. 2014. ExaStencils: Advanced stencil-code engineering. In Euro-Par 2014: Parallel Processing Workshops. Lecture Notes in Computer Science, Vol. 8806. Springer, 553\u2013564. DOI:https:\/\/doi.org\/10.1007\/978-3-319-14313-2_47"},{"key":"#cr-split#-e_1_2_1_23_1.1","doi-asserted-by":"crossref","unstructured":"Anders Logg Kent-Andre Mardal and Garth N. Wells (Eds.). 2012. Automated Solution of Differential Equations by the Finite Element Method. Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-642-23099-8 10.1007\/978-3-642-23099-8","DOI":"10.1007\/978-3-642-23099-8"},{"key":"#cr-split#-e_1_2_1_23_1.2","doi-asserted-by":"crossref","unstructured":"Anders Logg Kent-Andre Mardal and Garth N. Wells (Eds.). 2012. Automated Solution of Differential Equations by the Finite Element Method. Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-642-23099-8","DOI":"10.1007\/978-3-642-23099-8"},{"key":"e_1_2_1_24_1","volume-title":"Performance prediction of finite-difference solvers for different computer architectures. Computers 8 Geosciences 105 (08","author":"Louboutin Mathias","year":"2017","unstructured":"Mathias Louboutin , Michael Lange , Felix J. Herrmann , Navjot Kukreja , and Gerard Gorman . 2017. Performance prediction of finite-difference solvers for different computer architectures. Computers 8 Geosciences 105 (08 2017 ), 148--157. DOI:https:\/\/doi.org\/10.1016\/j.cageo.2017.04.014 10.1016\/j.cageo.2017.04.014 Mathias Louboutin, Michael Lange, Felix J. Herrmann, Navjot Kukreja, and Gerard Gorman. 2017. Performance prediction of finite-difference solvers for different computer architectures. Computers 8 Geosciences 105 (08 2017), 148--157. DOI:https:\/\/doi.org\/10.1016\/j.cageo.2017.04.014"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5194\/gmd-12-1165-2019"},{"key":"e_1_2_1_26_1","volume-title":"David A. Ham, and Paul H. J. Kelly.","author":"Markall Graham R.","year":"2013","unstructured":"Graham R. Markall , Florian Rathgeber , Lawrence Mitchell , Nicolas Loriant , Carlo Bertolli , David A. Ham, and Paul H. J. Kelly. 2013 . Performance-portable finite element assembly using PyOP2 and FEniCS. In Supercomputing. Lecture Notes in Computer Science, Vol. 7905 . Springer , 279\u2013289. DOI:https:\/\/doi.org\/10.1007\/978-3-642-38750-0_21 10.1007\/978-3-642-38750-0_21 Graham R. Markall, Florian Rathgeber, Lawrence Mitchell, Nicolas Loriant, Carlo Bertolli, David A. Ham, and Paul H. J. Kelly. 2013. Performance-portable finite element assembly using PyOP2 and FEniCS. In Supercomputing. Lecture Notes in Computer Science, Vol. 7905. Springer, 279\u2013289. DOI:https:\/\/doi.org\/10.1007\/978-3-642-38750-0_21"},{"key":"e_1_2_1_27_1","unstructured":"Mathias Louboutin and Fabio Luporini. 2019. Boundary conditions in Devito. In preparation.  Mathias Louboutin and Fabio Luporini. 2019. Boundary conditions in Devito. In preparation."},{"key":"#cr-split#-e_1_2_1_28_1.1","doi-asserted-by":"crossref","unstructured":"Aaron Meurer Christopher P. Smith Mateusz Paprocki Ond\u0159ej \u010cert\u00edk Sergey B. Kirpichev Matthew Rocklin AMiT Kumar etal 2017. SymPy: Symbolic computing in Python. PeerJ Computer Science 3 (Jan. 2017) e103. DOI:https:\/\/doi.org\/10.7717\/peerj-cs.103 10.7717\/peerj-cs.103","DOI":"10.7717\/peerj-cs.103"},{"key":"#cr-split#-e_1_2_1_28_1.2","doi-asserted-by":"crossref","unstructured":"Aaron Meurer Christopher P. Smith Mateusz Paprocki Ond\u0159ej \u010cert\u00edk Sergey B. Kirpichev Matthew Rocklin AMiT Kumar et al. 2017. SymPy: Symbolic computing in Python. PeerJ Computer Science 3 (Jan. 2017) e103. DOI:https:\/\/doi.org\/10.7717\/peerj-cs.103","DOI":"10.7717\/peerj-cs.103"},{"key":"e_1_2_1_29_1","unstructured":"Simon J. Pennycook J. D. Sewall and V. W. Lee. 2016. A metric for performance portability. arXiv:1611.07409.  Simon J. Pennycook J. D. Sewall and V. W. Lee. 2016. A metric for performance portability. arXiv:1611.07409."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_2_1_31_1","first-page":"3","article-title":"Firedrake: Automating the finite element method by composing abstractions","volume":"43","author":"Rathgeber Florian","year":"2016","unstructured":"Florian Rathgeber , David A. Ham , Lawrence Mitchell , Michael Lange , Fabio Luporini , Andrew T. T. Mcrae , Gheorghe-Teodor Bercea , Graham R. Markall , and Paul H. J. Kelly . 2016 . Firedrake: Automating the finite element method by composing abstractions . ACM Transactions on Mathematical Software 43 , 3 (Dec. 2016), Article 24, 27 pages. DOI:https:\/\/doi.org\/10.1145\/2998441 10.1145\/2998441 Florian Rathgeber, David A. Ham, Lawrence Mitchell, Michael Lange, Fabio Luporini, Andrew T. T. Mcrae, Gheorghe-Teodor Bercea, Graham R. Markall, and Paul H. J. Kelly. 2016. Firedrake: Automating the finite element method by composing abstractions. ACM Transactions on Mathematical Software 43, 3 (Dec. 2016), Article 24, 27 pages. DOI:https:\/\/doi.org\/10.1145\/2998441","journal-title":"ACM Transactions on Mathematical Software"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/WOLFHPC.2014.7"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1365-2478.2011.00977.x"},{"key":"e_1_2_1_34_1","volume-title":"Retrieved","author":"Team The Devito","year":"2018","unstructured":"The Devito Team . 2018 . Devito Experimentation Framework v1.0 . Retrieved March 17, 2020 from https:\/\/github.com\/opesci\/devito-performance\/releases\/tag\/v1.0. The Devito Team. 2018. Devito Experimentation Framework v1.0. Retrieved March 17, 2020 from https:\/\/github.com\/opesci\/devito-performance\/releases\/tag\/v1.0."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58667-0_8"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 1985 IFIP TC2\/WG22 Conference","volume":"5","author":"Umetani Yukio","year":"1985","unstructured":"Yukio Umetani . 1985 . DEQSOL: A numerical simulation language for vector\/parallel processors . In Proceedings of the 1985 IFIP TC2\/WG22 Conference , Vol. 5 . 147\u2013164. Yukio Umetani. 1985. DEQSOL: A numerical simulation language for vector\/parallel processors. In Proceedings of the 1985 IFIP TC2\/WG22 Conference, Vol. 5. 147\u2013164."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/237578.237589"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2014.07.011"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-CSS-ICESS.2015.27"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/PMBS.2016.012"},{"key":"e_1_2_1_41_1","volume-title":"Multi-level spatial and temporal tiling for efficient HPC stencil computation on many-core processors with large shared caches. Future Generation Computer Systems 92 (March","author":"Yount Charles","year":"2019","unstructured":"Charles Yount , Alejandro Duran , and Josh Tobin . 2019. Multi-level spatial and temporal tiling for efficient HPC stencil computation on many-core processors with large shared caches. Future Generation Computer Systems 92 (March 2019 ), 903--919. DOI:https:\/\/doi.org\/10.1016\/j.future.2017.10.041 10.1016\/j.future.2017.10.041 Charles Yount, Alejandro Duran, and Josh Tobin. 2019. Multi-level spatial and temporal tiling for efficient HPC stencil computation on many-core processors with large shared caches. Future Generation Computer Systems 92 (March 2019), 903--919. DOI:https:\/\/doi.org\/10.1016\/j.future.2017.10.041"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/WOLFHPC.2016.08"},{"key":"#cr-split#-e_1_2_1_43_1.1","unstructured":"Zenodo\/Devito. 2017. Devito v3.1. Software used in Architecture and performance of Devito a system for automated stencil computation. DOI:https:\/\/doi.org\/10.5281\/zenodo.836688 10.5281\/zenodo.836688"},{"key":"#cr-split#-e_1_2_1_43_1.2","unstructured":"Zenodo\/Devito. 2017. Devito v3.1. Software used in Architecture and performance of Devito a system for automated stencil computation. DOI:https:\/\/doi.org\/10.5281\/zenodo.836688"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259037"},{"key":"e_1_2_1_45_1","volume-title":"A stable TTI reverse time migration and its implementation. Geophysics 76, 3","author":"Zhang Yu","year":"2011","unstructured":"Yu Zhang , Houzhu Zhang , and Guanquan Zhang . 2011. A stable TTI reverse time migration and its implementation. Geophysics 76, 3 ( 2011 ), WA 3\u2013WA11. DOI:https:\/\/doi.org\/10.1190\/1.3554411 arXiv:https:\/\/doi.org\/10.1190\/1.3554411 10.1190\/1.3554411 Yu Zhang, Houzhu Zhang, and Guanquan Zhang. 2011. A stable TTI reverse time migration and its implementation. Geophysics 76, 3 (2011), WA3\u2013WA11. DOI:https:\/\/doi.org\/10.1190\/1.3554411 arXiv:https:\/\/doi.org\/10.1190\/1.3554411"}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3374916","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3374916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:09Z","timestamp":1750199589000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3374916"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,31]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3,31]]}},"alternative-id":["10.1145\/3374916"],"URL":"https:\/\/doi.org\/10.1145\/3374916","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"value":"0098-3500","type":"print"},{"value":"1557-7295","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,31]]},"assertion":[{"value":"2018-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-04-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}