{"id":"https://openalex.org/W2954219808","doi":"https://doi.org/10.1145/3314221.3314646","title":"Sparse computation data dependence simplification for efficient compiler-generated inspectors","display_name":"Sparse computation data dependence simplification for efficient compiler-generated inspectors","publication_year":2019,"publication_date":"2019-06-07","ids":{"openalex":"https://openalex.org/W2954219808","doi":"https://doi.org/10.1145/3314221.3314646","mag":"2954219808"},"language":"en","primary_location":{"id":"doi:10.1145/3314221.3314646","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314646","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000578329","display_name":"Mahdi Soltan Mohammadi","orcid":null},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mahdi Soltan Mohammadi","raw_affiliation_strings":["University of Arizona, USA"],"affiliations":[{"raw_affiliation_string":"University of Arizona, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001146686","display_name":"Tomofumi Yuki","orcid":"https://orcid.org/0000-0002-5737-6178"},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Tomofumi Yuki","raw_affiliation_strings":["Inria, France / University of Rennes, France / CNRS, France / IRISA, France","Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources"],"affiliations":[{"raw_affiliation_string":"Inria, France / University of Rennes, France / CNRS, France / IRISA, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011738547","display_name":"Kazem Cheshmi","orcid":"https://orcid.org/0000-0002-2968-5176"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]},{"id":"https://openalex.org/I4210148195","display_name":"Concordia University","ror":"https://ror.org/04dwckp88","country_code":"US","type":"education","lineage":["https://openalex.org/I4210148195"]},{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Kazem Cheshmi","raw_affiliation_strings":["University of Toronto, Canada","Concordia University [Montreal]"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"Concordia University [Montreal]","institution_ids":["https://openalex.org/I60158472","https://openalex.org/I4210148195"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024441697","display_name":"Eddie C. Davis","orcid":null},"institutions":[{"id":"https://openalex.org/I120156002","display_name":"Boise State University","ror":"https://ror.org/02e3zdp86","country_code":"US","type":"education","lineage":["https://openalex.org/I120156002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eddie C. Davis","raw_affiliation_strings":["Boise State University, USA"],"affiliations":[{"raw_affiliation_string":"Boise State University, USA","institution_ids":["https://openalex.org/I120156002"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030152493","display_name":"Mary Hall","orcid":"https://orcid.org/0000-0002-3058-7573"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mary Hall","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003682451","display_name":"Maryam Mehri Dehnavi","orcid":"https://orcid.org/0000-0002-2719-8788"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Maryam Mehri Dehnavi","raw_affiliation_strings":["University of Toronto, Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082246387","display_name":"Payal Nandy","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Payal Nandy","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085014712","display_name":"Catherine Olschanowsky","orcid":"https://orcid.org/0000-0002-1764-385X"},"institutions":[{"id":"https://openalex.org/I120156002","display_name":"Boise State University","ror":"https://ror.org/02e3zdp86","country_code":"US","type":"education","lineage":["https://openalex.org/I120156002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Catherine Olschanowsky","raw_affiliation_strings":["Boise State University, USA"],"affiliations":[{"raw_affiliation_string":"Boise State University, USA","institution_ids":["https://openalex.org/I120156002"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078599914","display_name":"Anand Venkat","orcid":"https://orcid.org/0000-0002-4167-4525"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anand Venkat","raw_affiliation_strings":["Intel, USA","University of Utah"],"affiliations":[{"raw_affiliation_string":"Intel, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022191670","display_name":"Michelle Mills Strout","orcid":"https://orcid.org/0000-0001-7646-4766"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michelle Mills Strout","raw_affiliation_strings":["University of Arizona, USA"],"affiliations":[{"raw_affiliation_string":"University of Arizona, USA","institution_ids":["https://openalex.org/I138006243"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5000578329"],"corresponding_institution_ids":["https://openalex.org/I138006243"],"apc_list":null,"apc_paid":null,"fwci":4.92,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.95906656,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"594","last_page":"609"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8544348478317261},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7452762126922607},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6818027496337891},{"id":"https://openalex.org/keywords/sparse-matrix","display_name":"Sparse matrix","score":0.6357782483100891},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6318010687828064},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5317736268043518},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.503861129283905},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.47569048404693604},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.42916160821914673},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35507315397262573},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24845832586288452}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8544348478317261},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7452762126922607},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6818027496337891},{"id":"https://openalex.org/C56372850","wikidata":"https://www.wikidata.org/wiki/Q1050404","display_name":"Sparse matrix","level":3,"score":0.6357782483100891},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6318010687828064},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5317736268043518},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.503861129283905},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.47569048404693604},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.42916160821914673},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35507315397262573},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24845832586288452},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3314221.3314646","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314646","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:scholarworks.boisestate.edu:cs_facpubs-1365","is_oa":false,"landing_page_url":"https://scholarworks.boisestate.edu/cs_facpubs/376","pdf_url":null,"source":{"id":"https://openalex.org/S4377196366","display_name":"Scholar Works  (Boise State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I120156002","host_organization_name":"Boise State University","host_organization_lineage":["https://openalex.org/I120156002"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Faculty Publications and Presentations","raw_type":"text"},{"id":"pmh:oai:HAL:hal-02396761v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-02396761","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"PLDI 2019 - 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2019, Phoenix, United States. pp.594-609, ⟨10.1145/3314221.3314646⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W16598917","https://openalex.org/W23806513","https://openalex.org/W993511226","https://openalex.org/W1491410022","https://openalex.org/W1536511644","https://openalex.org/W1537447662","https://openalex.org/W1552077729","https://openalex.org/W1774469134","https://openalex.org/W1963966054","https://openalex.org/W1968235986","https://openalex.org/W1969468690","https://openalex.org/W1977444623","https://openalex.org/W1977461164","https://openalex.org/W1980390491","https://openalex.org/W1988192943","https://openalex.org/W1988420772","https://openalex.org/W2003937683","https://openalex.org/W2006962349","https://openalex.org/W2009196736","https://openalex.org/W2013424510","https://openalex.org/W2013981372","https://openalex.org/W2019119315","https://openalex.org/W2019527978","https://openalex.org/W2019910246","https://openalex.org/W2024339337","https://openalex.org/W2026139385","https://openalex.org/W2026220934","https://openalex.org/W2029843512","https://openalex.org/W2034591560","https://openalex.org/W2035080386","https://openalex.org/W2042879774","https://openalex.org/W2051800546","https://openalex.org/W2061988908","https://openalex.org/W2085652201","https://openalex.org/W2087618354","https://openalex.org/W2088377490","https://openalex.org/W2091722458","https://openalex.org/W2094171110","https://openalex.org/W2096862145","https://openalex.org/W2110161565","https://openalex.org/W2123123602","https://openalex.org/W2128853364","https://openalex.org/W2141025928","https://openalex.org/W2163283517","https://openalex.org/W2298668594","https://openalex.org/W2396646384","https://openalex.org/W2444544770","https://openalex.org/W2566719947","https://openalex.org/W2614185560","https://openalex.org/W2700809142","https://openalex.org/W2777169505","https://openalex.org/W2898106867","https://openalex.org/W2902699695","https://openalex.org/W2950481720","https://openalex.org/W3098859233","https://openalex.org/W4248080568"],"related_works":["https://openalex.org/W2371266106","https://openalex.org/W2117382851","https://openalex.org/W3006505070","https://openalex.org/W2382449560","https://openalex.org/W2767298477","https://openalex.org/W2110432562","https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842","https://openalex.org/W3146558274"],"abstract_inverted_index":{"This":[0],"paper":[1,47],"presents":[2],"a":[3,131,153,171],"combined":[4],"compile-time":[5,50],"and":[6,15,73],"runtime":[7,58,71,147],"loop-carried":[8],"dependence":[9,59,79,84],"analysis":[10],"of":[11,22,45,57,102,133,145,155],"sparse":[12,135],"matrix":[13],"codes":[14],"evaluates":[16],"its":[17],"performance":[18],"in":[19,68],"the":[20,55,143,146],"context":[21],"wavefront":[23],"parallellism.":[24],"Sparse":[25],"computations":[26],"incorporate":[27],"indirect":[28],"memory":[29,35],"accesses":[30],"such":[31,81,108,123],"as":[32,109],"x[col[j]]":[33],"whose":[34],"locations":[36],"cannot":[37],"be":[38],"determined":[39],"until":[40],"runtime.":[41],"The":[42,137],"key":[43],"contributions":[44],"this":[46],"are":[48],"two":[49],"techniques":[51],"for":[52,130,152],"significantly":[53],"reducing":[54],"overhead":[56],"testing:":[60],"(1)":[61],"identifying":[62,75],"new":[63],"equality":[64,94],"constraints":[65,80,95],"that":[66,82,89,117],"result":[67],"more":[69,166],"efficient":[70],"inspectors,":[72],"(2)":[74],"subset":[76],"relations":[77],"between":[78],"one":[83,88],"test":[85],"subsumes":[86],"another":[87],"is":[90,97],"therefore":[91],"eliminated.":[92],"New":[93],"discovery":[96],"enabled":[98],"by":[99],"taking":[100],"advantage":[101],"domain-specific":[103],"knowledge":[104],"about":[105],"index":[106],"arrays,":[107],"col[j].":[110],"These":[111],"simplifications":[112],"lead":[113],"to":[114,121,165],"automatically-generated":[115],"inspectors":[116,148],"make":[118],"it":[119],"practical":[120],"parallelize":[122],"computations.":[124,136],"We":[125],"analyze":[126],"our":[127,140],"simplification":[128],"methods":[129,141],"collection":[132,154],"seven":[134],"evaluation":[138],"shows":[139],"reduce":[142],"complexity":[144],"significantly.":[149],"Experimental":[150],"results":[151],"five":[156],"large":[157],"matrices":[158],"show":[159],"parallel":[160],"speedups":[161],"ranging":[162],"from":[163],"2x":[164],"than":[167],"8x":[168],"running":[169],"on":[170],"8-core":[172],"CPU.":[173]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":7}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}