{"id":"https://openalex.org/W2951829237","doi":"https://doi.org/10.1145/3095747","title":"Symmetry in Software Synthesis","display_name":"Symmetry in Software Synthesis","publication_year":2017,"publication_date":"2017-06-30","ids":{"openalex":"https://openalex.org/W2951829237","doi":"https://doi.org/10.1145/3095747","mag":"2951829237"},"language":"en","primary_location":{"id":"doi:10.1145/3095747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3095747","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3095747&type=pdf","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3095747&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045703198","display_name":"Andr\u00e9s Goens","orcid":"https://orcid.org/0000-0002-0409-1363"},"institutions":[{"id":"https://openalex.org/I4405266956","display_name":"Center for Advancing Electronics Dresden","ror":"https://ror.org/00g3vrr12","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4405266956","https://openalex.org/I78650965"]},{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andr\u00e9s Goens","raw_affiliation_strings":["Center for Advancing Electronics Dresden (cfaed), Chair for Compiler Construction, TU Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Advancing Electronics Dresden (cfaed), Chair for Compiler Construction, TU Dresden, Germany","institution_ids":["https://openalex.org/I4405266956","https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000205036","display_name":"Sergio Siccha","orcid":"https://orcid.org/0000-0002-2839-5265"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sergio Siccha","raw_affiliation_strings":["Lehr- und Forschungsgebiet Algebra, Lehrstuhl B f\u00fcr Mathematik, RWTH Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lehr- und Forschungsgebiet Algebra, Lehrstuhl B f\u00fcr Mathematik, RWTH Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030115692","display_name":"Jer\u00f3nimo Castrill\u00f3n","orcid":"https://orcid.org/0000-0002-5007-445X"},"institutions":[{"id":"https://openalex.org/I4405266956","display_name":"Center for Advancing Electronics Dresden","ror":"https://ror.org/00g3vrr12","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4405266956","https://openalex.org/I78650965"]},{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jeronimo Castrillon","raw_affiliation_strings":["Center for Advancing Electronics Dresden (cfaed), Chair for Compiler Construction, TU Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Advancing Electronics Dresden (cfaed), Chair for Compiler Construction, TU Dresden, Germany","institution_ids":["https://openalex.org/I4405266956","https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3767,"has_fulltext":true,"cited_by_count":20,"citation_normalized_percentile":{"value":0.90488553,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"14","issue":"2","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991999864578247,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991999864578247,"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.9973999857902527,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.992900013923645,"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.8541558980941772},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.7318022847175598},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6632903218269348},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5174620747566223},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4867434501647949},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.476538747549057},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3947763741016388},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20409080386161804},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.16802191734313965},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12659746408462524}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8541558980941772},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.7318022847175598},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6632903218269348},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5174620747566223},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4867434501647949},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.476538747549057},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3947763741016388},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20409080386161804},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.16802191734313965},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12659746408462524},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3095747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3095747","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3095747&type=pdf","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1704.06623","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1704.06623","pdf_url":"https://arxiv.org/pdf/1704.06623","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3095747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3095747","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3095747&type=pdf","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2951829237.pdf","grobid_xml":"https://content.openalex.org/works/W2951829237.grobid-xml"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W183814118","https://openalex.org/W618980177","https://openalex.org/W654300311","https://openalex.org/W1537195693","https://openalex.org/W1540027087","https://openalex.org/W1594985246","https://openalex.org/W1595498733","https://openalex.org/W1597755753","https://openalex.org/W1670248412","https://openalex.org/W1687588989","https://openalex.org/W1798177923","https://openalex.org/W1801675113","https://openalex.org/W1966499573","https://openalex.org/W1968130443","https://openalex.org/W1976677460","https://openalex.org/W1980370885","https://openalex.org/W1984925420","https://openalex.org/W1989761046","https://openalex.org/W1990600049","https://openalex.org/W2029430245","https://openalex.org/W2045425785","https://openalex.org/W2046679083","https://openalex.org/W2052559368","https://openalex.org/W2063017639","https://openalex.org/W2064115172","https://openalex.org/W2078092812","https://openalex.org/W2080986851","https://openalex.org/W2081166696","https://openalex.org/W2085358537","https://openalex.org/W2090066236","https://openalex.org/W2091158003","https://openalex.org/W2113172369","https://openalex.org/W2120224609","https://openalex.org/W2121410096","https://openalex.org/W2127318527","https://openalex.org/W2135573930","https://openalex.org/W2141480229","https://openalex.org/W2142393191","https://openalex.org/W2151138273","https://openalex.org/W2151676061","https://openalex.org/W2152815562","https://openalex.org/W2154744426","https://openalex.org/W2245002840","https://openalex.org/W2294394537","https://openalex.org/W2333603443","https://openalex.org/W2335440829","https://openalex.org/W2342193808","https://openalex.org/W2347778214","https://openalex.org/W2474840560","https://openalex.org/W2559816868","https://openalex.org/W2592313711","https://openalex.org/W2606778463","https://openalex.org/W2614311485","https://openalex.org/W2799002712","https://openalex.org/W2996989811","https://openalex.org/W4233549502","https://openalex.org/W4251535942","https://openalex.org/W4298044667","https://openalex.org/W4300941621","https://openalex.org/W6723614710"],"related_works":["https://openalex.org/W2389214306","https://openalex.org/W4235240664","https://openalex.org/W2965083567","https://openalex.org/W1982914007","https://openalex.org/W2159583675","https://openalex.org/W1824242903","https://openalex.org/W1493858311","https://openalex.org/W2155470929","https://openalex.org/W2394465510","https://openalex.org/W2111125783"],"abstract_inverted_index":{"With":[0],"the":[1,40,48,90,114,136,154],"surge":[2],"of":[3,24,51,96,117,141,143,153,158,164,175],"multi-":[4],"and":[5,16,53,61,93,98,101,119,145,172],"many-core":[6],"systems,":[7],"much":[8],"research":[9],"has":[10],"focused":[11],"on":[12,18,113],"algorithms":[13,26],"for":[14,38,104,135,169],"mapping":[15,132],"scheduling":[17],"these":[19,25,103],"complex":[20],"platforms.":[21],"Large":[22],"classes":[23],"face":[27],"scalability":[28],"problems.":[29],"This":[30],"is":[31,111],"why":[32],"diverse":[33],"methods":[34],"are":[35],"commonly":[36],"used":[37],"reducing":[39],"search":[41],"space.":[42],"While":[43],"most":[44],"such":[45],"approaches":[46,66],"leverage":[47,102],"inherent":[49,91],"symmetry":[50,95],"architectures":[52,97],"applications,":[54],"they":[55],"do":[56],"it":[57],"in":[58,106,129,177],"a":[59,84,120,139,162],"problem-specific":[60],"intuitive":[62,65],"way.":[63],"However,":[64],"become":[67],"impractical":[68],"with":[69,138],"growing":[70],"hardware":[71],"complexity,":[72],"like":[73],"Network-on-Chip":[74],"interconnect":[75],"or":[76],"heterogeneous":[77],"cores.":[78],"In":[79],"this":[80],"article,":[81],"we":[82],"present":[83],"formal":[85],"framework":[86],"that":[87],"can":[88],"determine":[89],"local":[92],"global":[94],"applications":[99],"algorithmically":[100],"problems":[105],"software":[107],"synthesis.":[108],"Our":[109],"approach":[110,128,149],"based":[112],"mathematical":[115],"theory":[116],"groups":[118],"generalization":[121],"called":[122],"inverse":[123],"semigroups.":[124],"We":[125,160],"evaluate":[126],"our":[127,148],"two":[130],"state-of-the-art":[131],"frameworks.":[133],"Even":[134],"platforms":[137],"handful":[140],"cores":[142],"today":[144],"moderate-sized":[146],"benchmarks,":[147],"consistently":[150],"yields":[151],"reductions":[152],"overall":[155],"execution":[156],"time":[157,176],"algorithms.":[159],"obtain":[161],"speedup":[163],"more":[165],"than":[166],"10":[167],"\u00d7":[168],"one":[170],"use-case":[171],"saved":[173],"10%":[174],"another.":[178]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}