{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:43:44Z","timestamp":1780994624037,"version":"3.54.1"},"reference-count":82,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1563732"],"award-info":[{"award-number":["CCF-1563732"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/jproc.2018.2857721","type":"journal-article","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T18:37:06Z","timestamp":1534271826000},"page":"1921-1934","source":"Crossref","is-referenced-by-count":56,"title":["The Sparse Polyhedral Framework: Composing Compiler-Generated Inspector-Executor Code"],"prefix":"10.1109","volume":"106","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7646-4766","authenticated-orcid":false,"given":"Michelle Mills","family":"Strout","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3058-7573","authenticated-orcid":false,"given":"Mary","family":"Hall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Catherine","family":"Olschanowsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544141"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/ICAPP.1995.472180"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2400682.2400713"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349322"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36036-7_5"},{"key":"ref74","article-title":"Nonlinear array dependence analysis","author":"pugh","year":"1995","journal-title":"Proc 3rd Workshop Lang Compilers Run-Time Syst Scalable Comput"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207148"},{"key":"ref75","article-title":"Dependence analysis of arrays subscriptecl by index arrays","author":"mckinley","year":"1991"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60707-X"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254124"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639500"},{"key":"ref33","first-page":"1","article-title":"Abstractions for specifying sparse matrix data transformations","author":"nandy","year":"2018","journal-title":"Proc Int'l Workshop Polyhedral Compilation Techniques (IMPACT)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2751205.2751213"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2016.02.004"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781142"},{"key":"ref37","first-page":"26","article-title":"Runtime compilation methods for multicomputers","volume":"2","author":"wu","year":"1991","journal-title":"Proc Int Conf Parallel Process (ICPP)"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/99163.99183"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/169627.169752"},{"key":"ref34","first-page":"174","article-title":"The preprocessed doacross loop","volume":"2","author":"saltz","year":"1991","journal-title":"Proc Int Conf Parallel Process (ICPP)"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/155332.155341"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207157"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/BF02577866"},{"key":"ref63","first-page":"152","article-title":"Slicing analysis and indirect accesses to distributed arrays","volume":"768","author":"das","year":"1993","journal-title":"Proc 6th Workshop on Compilers for Parallel Computers"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738003"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/1810085.1810123"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544141"},{"key":"ref65","first-page":"106","article-title":"Sublimation: Expanding data structures to enable data instance specific optimizations","author":"van der spek","year":"2010","journal-title":"Proc Int Workshop Lang Compilers Parallel Comput (LCPC)"},{"key":"ref66","article-title":"Compiler support for sparse matrix computations","author":"bik","year":"1996"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2016.40"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57659-2_4"},{"key":"ref68","article-title":"GRAPHITE two years after: First lessons learned from real-world polyhedral compilation","author":"trifunovic","year":"2010","journal-title":"Proc Int'l Workshop GCC Research Opportunities (GROW)"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1542275.1542294"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11557654_91"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301670"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011119519789"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.1999.807526"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442523"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2006.88"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2688500.2688515"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1375527.1375558"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212354"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2851500"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126936"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3133901"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/263580.263630"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0002751"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/169627.169765"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2008.4536305"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2014.118"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2012.30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/12.88484"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1122990"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291900"},{"key":"ref12","article-title":"Automatic parallelization of a class of extended affine loop nests for distributed memory systems","author":"ravishankar","year":"2012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(98)00024-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2009.10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07518-1_8"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/2400682.2400690"},{"key":"ref16","first-page":"131","article-title":"An approach for proving the correctness of inspector\/executor transformations","author":"norrish","year":"2014","journal-title":"Proc 27th Int Workshop Lang Compilers Parallel Comput (LCPC)"},{"key":"ref81","article-title":"Parametrically tiled distributed memory parallelization of polyhedral programs","author":"yuki","year":"2013"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/335231.335240"},{"key":"ref18","first-page":"213","article-title":"SIPR: A new framework for generating efficient code for sparse matrix computations","author":"pugh","year":"1998","journal-title":"Proc 11th Int Workshop Lang Compilers Parallel Comput"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863581"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503289"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2465013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/1094342011414748"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2008.12.006"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/1094342004038951"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1654059.1654078"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/120883153"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1177\/1094342011403516"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/55364.55378"},{"key":"ref46","first-page":"90","article-title":"Combining performance aspects of irregular Gauss–Seidel via sparse tiling","author":"strout","year":"2002","journal-title":"Proc 15th Workshop Lang Compilers Parallel Comput (LCPC)"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1654059.1654096"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/16\/1\/071"},{"key":"ref47","article-title":"PETSc users manual","author":"balay","year":"2010"},{"key":"ref42","first-page":"21","article-title":"Cache optimization for structured and unstructured grid multigrid","volume":"10","author":"douglas","year":"2000","journal-title":"Electron Trans Numer Anal"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/277830.277874"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1177\/1094342004041294"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45545-0_23"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/5\/8510998\/8436444-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/8510998\/08436444.pdf?arnumber=8436444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:55:55Z","timestamp":1649444155000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8436444\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":82,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2018.2857721","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}