{"id":"https://openalex.org/W2788717204","doi":"https://doi.org/10.1145/3178372.3179529","title":"Polyhedral expression propagation","display_name":"Polyhedral expression propagation","publication_year":2018,"publication_date":"2018-02-21","ids":{"openalex":"https://openalex.org/W2788717204","doi":"https://doi.org/10.1145/3178372.3179529","mag":"2788717204"},"language":"en","primary_location":{"id":"doi:10.1145/3178372.3179529","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3178372.3179529","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th International Conference on Compiler Construction","raw_type":"proceedings-article"},"type":"article","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/A5032645176","display_name":"Johannes Doerfert","orcid":"https://orcid.org/0000-0001-7870-8963"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Johannes Doerfert","raw_affiliation_strings":["Saarland University, Germany"],"affiliations":[{"raw_affiliation_string":"Saarland University, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074022732","display_name":"Shrey Sharma","orcid":null},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Shrey Sharma","raw_affiliation_strings":["Saarland University, Germany"],"affiliations":[{"raw_affiliation_string":"Saarland University, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018809145","display_name":"Sebastian Hack","orcid":"https://orcid.org/0000-0002-3387-2134"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Hack","raw_affiliation_strings":["Saarland University, Germany"],"affiliations":[{"raw_affiliation_string":"Saarland University, Germany","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032645176"],"corresponding_institution_ids":["https://openalex.org/I91712215"],"apc_list":null,"apc_paid":null,"fwci":1.0099,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.72977267,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"25","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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":1.0,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9983000159263611,"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.9980000257492065,"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.8086631298065186},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.627224326133728},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.4856761693954468},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4836067259311676},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.44820690155029297},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4371644854545593},{"id":"https://openalex.org/keywords/polytope-model","display_name":"Polytope model","score":0.41171202063560486},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3291739225387573},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.08023667335510254},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07363668084144592}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8086631298065186},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.627224326133728},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.4856761693954468},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4836067259311676},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.44820690155029297},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4371644854545593},{"id":"https://openalex.org/C113391598","wikidata":"https://www.wikidata.org/wiki/Q1681391","display_name":"Polytope model","level":3,"score":0.41171202063560486},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3291739225387573},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.08023667335510254},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07363668084144592},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3178372.3179529","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3178372.3179529","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th International Conference on Compiler Construction","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W288065879","https://openalex.org/W1191262899","https://openalex.org/W1480554704","https://openalex.org/W1530670596","https://openalex.org/W1537305306","https://openalex.org/W1554034042","https://openalex.org/W1558000309","https://openalex.org/W1558370006","https://openalex.org/W1559921704","https://openalex.org/W1567153395","https://openalex.org/W1794500012","https://openalex.org/W1970141743","https://openalex.org/W1980208272","https://openalex.org/W1989988531","https://openalex.org/W1991009705","https://openalex.org/W1993084860","https://openalex.org/W2010706208","https://openalex.org/W2017482298","https://openalex.org/W2032391783","https://openalex.org/W2034761517","https://openalex.org/W2046382913","https://openalex.org/W2051305716","https://openalex.org/W2055312318","https://openalex.org/W2068219251","https://openalex.org/W2070961300","https://openalex.org/W2075073133","https://openalex.org/W2077143534","https://openalex.org/W2084917734","https://openalex.org/W2098925700","https://openalex.org/W2102976251","https://openalex.org/W2105552602","https://openalex.org/W2107941623","https://openalex.org/W2108737583","https://openalex.org/W2132661148","https://openalex.org/W2135313087","https://openalex.org/W2141280299","https://openalex.org/W2153185479","https://openalex.org/W2157273783","https://openalex.org/W2165693128","https://openalex.org/W2217569097","https://openalex.org/W2290988208","https://openalex.org/W2294053719","https://openalex.org/W2294743625","https://openalex.org/W2296556828","https://openalex.org/W2346144740","https://openalex.org/W2471164860","https://openalex.org/W2511242544","https://openalex.org/W2523511656","https://openalex.org/W2583110315","https://openalex.org/W2588108287","https://openalex.org/W2592006772","https://openalex.org/W2941764234","https://openalex.org/W2983923412","https://openalex.org/W4210409048","https://openalex.org/W4213154760","https://openalex.org/W4241619010","https://openalex.org/W4244879956"],"related_works":["https://openalex.org/W167088980","https://openalex.org/W2475705533","https://openalex.org/W186129870","https://openalex.org/W3200522959","https://openalex.org/W4389944781","https://openalex.org/W2997993211","https://openalex.org/W586214199","https://openalex.org/W2184722600","https://openalex.org/W2269131302","https://openalex.org/W2101285930"],"abstract_inverted_index":{"Polyhedral":[0],"techniques":[1,20],"have":[2],"proven":[3],"to":[4,13,29],"be":[5],"powerful":[6],"for":[7],"various":[8],"optimizations,":[9],"from":[10],"automatic":[11],"parallelization":[12],"accelerator":[14],"programming.":[15],"At":[16],"their":[17],"core,":[18],"these":[19,52],"compute":[21],"accurate":[22],"dependences":[23],"among":[24],"statement":[25],"instances":[26],"in":[27],"order":[28,41],"apply":[30],"complex":[31],"program":[32,40],"transformations.":[33],"Such":[34],"transformations":[35],"comprise":[36],"memory":[37,45,72],"layout":[38],"or":[39,48,70],"modifications":[42],"by":[43],"optimizing":[44],"access":[46],"functions":[47],"scheduling":[49],"functions.":[50],"However,":[51],"approaches":[53],"treat":[54],"statements":[55],"as":[56],"opaque":[57],"entities":[58],"and":[59],"do":[60],"not":[61],"consider":[62],"changing":[63],"the":[64,67,71],"structure":[65],"of":[66],"contained":[68],"expressions":[69],"accesses":[73],"involved.":[74]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}