{"id":"https://openalex.org/W2898200251","doi":"https://doi.org/10.1109/jproc.2018.2873289","title":"SPIRAL: Extreme Performance Portability","display_name":"SPIRAL: Extreme Performance Portability","publication_year":2018,"publication_date":"2018-10-26","ids":{"openalex":"https://openalex.org/W2898200251","doi":"https://doi.org/10.1109/jproc.2018.2873289","mag":"2898200251"},"language":"en","primary_location":{"id":"doi:10.1109/jproc.2018.2873289","is_oa":true,"landing_page_url":"https://doi.org/10.1109/jproc.2018.2873289","pdf_url":"https://ieeexplore.ieee.org/ielx7/5/8510998/08510983.pdf","source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://ieeexplore.ieee.org/ielx7/5/8510998/08510983.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062806943","display_name":"Franz Franchetti","orcid":"https://orcid.org/0000-0002-3529-8973"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Franz Franchetti","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-3529-8973","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019607600","display_name":"Tze Meng Low","orcid":"https://orcid.org/0000-0002-5179-8249"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tze Meng Low","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019066795","display_name":"Doru Thom Popovici","orcid":"https://orcid.org/0000-0002-7271-8092"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Doru Thom Popovici","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011290316","display_name":"Richard Veras","orcid":"https://orcid.org/0000-0003-2633-3391"},"institutions":[{"id":"https://openalex.org/I121820613","display_name":"Louisiana State University","ror":"https://ror.org/05ect4e57","country_code":"US","type":"education","lineage":["https://openalex.org/I121820613"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard M. Veras","raw_affiliation_strings":["Center for Computation and Technology, Louisiana State University, Baton Rouge, LA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Computation and Technology, Louisiana State University, Baton Rouge, LA, USA","institution_ids":["https://openalex.org/I121820613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003670221","display_name":"Daniele G. Spampinato","orcid":"https://orcid.org/0000-0003-1411-7069"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniele G. Spampinato","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0003-1411-7069","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068650358","display_name":"Jeremy Johnson","orcid":"https://orcid.org/0000-0001-8333-5532"},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeremy R. Johnson","raw_affiliation_strings":["College of Computer and Informatics, Drexel University, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer and Informatics, Drexel University, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I72816309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076407181","display_name":"Markus P\u00fcschel","orcid":"https://orcid.org/0000-0001-8834-8551"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Markus Puschel","raw_affiliation_strings":["Department of Computer Science, ETH Z\u00fcrich, Z\u00fcrich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0001-8834-8551","affiliations":[{"raw_affiliation_string":"Department of Computer Science, ETH Z\u00fcrich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019376179","display_name":"James C. Hoe","orcid":"https://orcid.org/0000-0002-9302-5287"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James C. Hoe","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-9302-5287","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045861415","display_name":"Jos\u00e9 M. F. Moura","orcid":"https://orcid.org/0000-0002-9822-8294"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jose M. F. Moura","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-9822-8294","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.6893,"has_fulltext":true,"cited_by_count":98,"citation_normalized_percentile":{"value":0.99065528,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"106","issue":"11","first_page":"1935","last_page":"1968"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9983000159263611,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9951000213623047,"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.8560813665390015},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.7104668617248535},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6167377233505249},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.5050252079963684},{"id":"https://openalex.org/keywords/porting","display_name":"Porting","score":0.4983704090118408},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.475541353225708},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4462170898914337},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.418593168258667},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4135659635066986},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.41226232051849365},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40906956791877747},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4084145426750183},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.40479210019111633},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.383897066116333},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28134679794311523}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8560813665390015},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.7104668617248535},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6167377233505249},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.5050252079963684},{"id":"https://openalex.org/C106251023","wikidata":"https://www.wikidata.org/wiki/Q851989","display_name":"Porting","level":3,"score":0.4983704090118408},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.475541353225708},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4462170898914337},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.418593168258667},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4135659635066986},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.41226232051849365},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40906956791877747},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4084145426750183},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.40479210019111633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.383897066116333},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28134679794311523},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jproc.2018.2873289","is_oa":true,"landing_page_url":"https://doi.org/10.1109/jproc.2018.2873289","pdf_url":"https://ieeexplore.ieee.org/ielx7/5/8510998/08510983.pdf","source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/jproc.2018.2873289","is_oa":true,"landing_page_url":"https://doi.org/10.1109/jproc.2018.2873289","pdf_url":"https://ieeexplore.ieee.org/ielx7/5/8510998/08510983.pdf","source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G143614121","display_name":null,"funder_award_id":"0702386","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2031161225","display_name":null,"funder_award_id":"W911NF0710416","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G2144278397","display_name":null,"funder_award_id":"FA8702-15-D-0002","funder_id":"https://openalex.org/F4320306078","funder_display_name":"U.S. Department of Defense"},{"id":"https://openalex.org/G2265727360","display_name":"INTELLIGENT HW-SW COMPILERS FOR SIGNAL PROCESSING APPLICATIONS","funder_award_id":"W911NF0710416","funder_id":"https://openalex.org/F4320306078","funder_display_name":"U.S. Department of Defense"},{"id":"https://openalex.org/G2705193670","display_name":null,"funder_award_id":"FA8750-16-2-0033","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G3417551988","display_name":null,"funder_award_id":"NBCH1050009","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4283956430","display_name":null,"funder_award_id":"HR0011-13-2-0007","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G526907975","display_name":null,"funder_award_id":"FA8702-15-D-0002","funder_id":"https://openalex.org/F4320310207","funder_display_name":"Carnegie Mellon University"},{"id":"https://openalex.org/G6091554513","display_name":null,"funder_award_id":"0325687","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6935119311","display_name":null,"funder_award_id":"FA8750-12-2-0291","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7362750567","display_name":null,"funder_award_id":"N000141110112","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7721161125","display_name":"AUTOMATIC PROGRAM GENERATION FOR HIGH PERFORMANCE DATA DEPENDENT APPLICATIONS","funder_award_id":"N000141110112","funder_id":"https://openalex.org/F4320306078","funder_display_name":"U.S. Department of Defense"},{"id":"https://openalex.org/G8015376352","display_name":null,"funder_award_id":"0931987","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320307102","display_name":"Intel Corporation","ror":"https://ror.org/01ek73717"},{"id":"https://openalex.org/F4320309480","display_name":"Nvidia","ror":"https://ror.org/03jdj4y14"},{"id":"https://openalex.org/F4320310207","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2898200251.pdf","grobid_xml":"https://content.openalex.org/works/W2898200251.grobid-xml"},"referenced_works_count":201,"referenced_works":["https://openalex.org/W4690661","https://openalex.org/W26556108","https://openalex.org/W93506392","https://openalex.org/W184419126","https://openalex.org/W288065879","https://openalex.org/W333176434","https://openalex.org/W811081082","https://openalex.org/W1484221544","https://openalex.org/W1499644348","https://openalex.org/W1500250067","https://openalex.org/W1520826756","https://openalex.org/W1523329529","https://openalex.org/W1527747735","https://openalex.org/W1528855243","https://openalex.org/W1534960753","https://openalex.org/W1543833969","https://openalex.org/W1555087507","https://openalex.org/W1560253649","https://openalex.org/W1579661906","https://openalex.org/W1581387743","https://openalex.org/W1595548352","https://openalex.org/W1597965216","https://openalex.org/W1606794504","https://openalex.org/W1877620707","https://openalex.org/W1887504389","https://openalex.org/W1911642140","https://openalex.org/W1912514452","https://openalex.org/W1927382928","https://openalex.org/W1938177223","https://openalex.org/W1958582444","https://openalex.org/W1964031104","https://openalex.org/W1966539831","https://openalex.org/W1973305402","https://openalex.org/W1978005976","https://openalex.org/W1984290906","https://openalex.org/W1988425770","https://openalex.org/W1991009705","https://openalex.org/W1991133427","https://openalex.org/W1994493549","https://openalex.org/W1995459649","https://openalex.org/W1997199152","https://openalex.org/W1997269367","https://openalex.org/W1999129088","https://openalex.org/W2002257715","https://openalex.org/W2010035000","https://openalex.org/W2011191879","https://openalex.org/W2014820532","https://openalex.org/W2018641575","https://openalex.org/W2024381286","https://openalex.org/W2030960331","https://openalex.org/W2032765250","https://openalex.org/W2038469228","https://openalex.org/W2039227678","https://openalex.org/W2041337604","https://openalex.org/W2045810654","https://openalex.org/W2047656763","https://openalex.org/W2050297469","https://openalex.org/W2053738729","https://openalex.org/W2055312318","https://openalex.org/W2055695776","https://openalex.org/W2058021293","https://openalex.org/W2060728375","https://openalex.org/W2061171222","https://openalex.org/W2061681121","https://openalex.org/W2069502471","https://openalex.org/W2072213119","https://openalex.org/W2072277531","https://openalex.org/W2077143534","https://openalex.org/W2084929553","https://openalex.org/W2085118703","https://openalex.org/W2087526979","https://openalex.org/W2090409324","https://openalex.org/W2095875205","https://openalex.org/W2099911225","https://openalex.org/W2100272164","https://openalex.org/W2101369847","https://openalex.org/W2101485986","https://openalex.org/W2102182691","https://openalex.org/W2102976251","https://openalex.org/W2105467976","https://openalex.org/W2106057110","https://openalex.org/W2107072426","https://openalex.org/W2108464053","https://openalex.org/W2108872752","https://openalex.org/W2109065830","https://openalex.org/W2111264385","https://openalex.org/W2111334029","https://openalex.org/W2112391112","https://openalex.org/W2112569315","https://openalex.org/W2114665465","https://openalex.org/W2118324422","https://openalex.org/W2121082877","https://openalex.org/W2121546953","https://openalex.org/W2123823842","https://openalex.org/W2125840772","https://openalex.org/W2128344236","https://openalex.org/W2129636943","https://openalex.org/W2130289795","https://openalex.org/W2131958140","https://openalex.org/W2132598718","https://openalex.org/W2133905371","https://openalex.org/W2134356913","https://openalex.org/W2134572726","https://openalex.org/W2135653967","https://openalex.org/W2136268965","https://openalex.org/W2136952590","https://openalex.org/W2138507146","https://openalex.org/W2140080674","https://openalex.org/W2140300123","https://openalex.org/W2143609451","https://openalex.org/W2145005214","https://openalex.org/W2146236588","https://openalex.org/W2147578933","https://openalex.org/W2148542244","https://openalex.org/W2149236155","https://openalex.org/W2149821532","https://openalex.org/W2150654326","https://openalex.org/W2151764765","https://openalex.org/W2153637321","https://openalex.org/W2155028447","https://openalex.org/W2155893237","https://openalex.org/W2155970480","https://openalex.org/W2159560337","https://openalex.org/W2160183719","https://openalex.org/W2160692725","https://openalex.org/W2160875262","https://openalex.org/W2164197394","https://openalex.org/W2166253571","https://openalex.org/W2166906890","https://openalex.org/W2168847677","https://openalex.org/W2169957916","https://openalex.org/W2171641226","https://openalex.org/W2176580510","https://openalex.org/W2187980931","https://openalex.org/W2252007067","https://openalex.org/W2291372353","https://openalex.org/W2296333624","https://openalex.org/W2316961636","https://openalex.org/W2340838390","https://openalex.org/W2346144740","https://openalex.org/W2384495648","https://openalex.org/W2410102883","https://openalex.org/W2461193710","https://openalex.org/W2543917301","https://openalex.org/W2590246587","https://openalex.org/W2595625343","https://openalex.org/W2609223029","https://openalex.org/W2622213558","https://openalex.org/W2761495671","https://openalex.org/W2762645187","https://openalex.org/W2765377629","https://openalex.org/W2765635219","https://openalex.org/W2772612468","https://openalex.org/W2798416929","https://openalex.org/W2885155955","https://openalex.org/W2890086097","https://openalex.org/W2894350011","https://openalex.org/W2913532774","https://openalex.org/W2945914100","https://openalex.org/W2950094539","https://openalex.org/W2963743473","https://openalex.org/W2968743833","https://openalex.org/W3006227194","https://openalex.org/W3016647895","https://openalex.org/W3021880308","https://openalex.org/W3098650335","https://openalex.org/W3142790024","https://openalex.org/W3145158195","https://openalex.org/W3145506805","https://openalex.org/W3151527711","https://openalex.org/W3203568064","https://openalex.org/W4229666556","https://openalex.org/W4233358870","https://openalex.org/W4235472067","https://openalex.org/W4244512595","https://openalex.org/W4245206864","https://openalex.org/W4247050054","https://openalex.org/W4247199268","https://openalex.org/W4247598064","https://openalex.org/W4248134534","https://openalex.org/W4249124297","https://openalex.org/W4251637954","https://openalex.org/W4251847923","https://openalex.org/W4254154023","https://openalex.org/W4285719527","https://openalex.org/W4319867088","https://openalex.org/W6603799187","https://openalex.org/W6609754184","https://openalex.org/W6611313662","https://openalex.org/W6629867571","https://openalex.org/W6632704574","https://openalex.org/W6677952174","https://openalex.org/W6678286823","https://openalex.org/W6682220324","https://openalex.org/W6682848042","https://openalex.org/W6683464311","https://openalex.org/W6684616911","https://openalex.org/W6684625698","https://openalex.org/W6746694394","https://openalex.org/W6749268479","https://openalex.org/W6759284451"],"related_works":["https://openalex.org/W1820309981","https://openalex.org/W3124707092","https://openalex.org/W2375332572","https://openalex.org/W28826848","https://openalex.org/W3123383020","https://openalex.org/W2152694830","https://openalex.org/W2912579397","https://openalex.org/W2166776054","https://openalex.org/W2128640905","https://openalex.org/W4312942606"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,35,90,96,154,195],"address":[4],"the":[5,27,30,50,98,138,142,150,164],"question":[6],"of":[7,22,29,53,83,100,160],"how":[8],"to":[9,14,74,188,199],"automatically":[10],"map":[11],"computational":[12,76,104,161],"kernels":[13,105,162,204],"highly":[15,102],"efficient":[16],"code":[17,202],"for":[18,59,106],"a":[19,71,86,107,111,122,158],"wide":[20],"range":[21,179],"computing":[23,78],"platforms":[24,55,178],"and":[25,56,80,121,141,153,166,172,184,191,194,205],"establish":[26],"correctness":[28,57],"synthesized":[31,143],"code.":[32,62],"More":[33],"specifically,":[34],"focus":[36],"on":[37],"two":[38],"fundamental":[39],"problems":[40],"that":[41,116],"software":[42],"developers":[43],"are":[44,130],"faced":[45],"with:":[46],"performance":[47,197],"portability":[48],"across":[49,203],"ever-changing":[51],"landscape":[52],"parallel":[54],"guarantees":[58],"sophisticated":[60],"floating-point":[61],"The":[63],"problem":[64,99,115],"is":[65,117,147],"approached":[66],"as":[67,110],"follows:":[68],"We":[69],"develop":[70],"formal":[72],"framework":[73],"capture":[75],"algorithms,":[77],"platforms,":[79],"program":[81],"transformations":[82],"interest,":[84],"using":[85],"unifying":[87],"mathematical":[88],"formalism":[89],"call":[91],"operator":[92],"language":[93],"(OL).":[94],"Then":[95],"cast":[97],"synthesizing":[101],"optimized":[103],"given":[108],"machine":[109],"strongly":[112],"constrained":[113],"optimization":[114],"solved":[118],"by":[119],"search":[120],"multistage":[123],"rewriting":[124],"system.":[125],"Since":[126],"all":[127],"rewrite":[128],"steps":[129],"semantics":[131],"preserving,":[132],"our":[133],"approach":[134,146],"establishes":[135],"equivalence":[136],"between":[137],"kernel":[139],"specification":[140],"program.":[144],"This":[145],"implemented":[148],"in":[149],"SPIRAL":[151],"system,":[152],"demonstrate":[155,196],"it":[156],"with":[157],"selection":[159],"from":[163,180],"signal":[165],"image":[167],"processing":[168],"domain,":[169],"software-defined":[170],"radio,":[171],"robotic":[173],"vehicle":[174],"control.":[175],"Our":[176],"target":[177],"mobile":[181],"devices,":[182],"desktops,":[183],"server":[185],"multicore":[186],"processors":[187],"large-scale":[189],"high-performance":[190],"supercomputing":[192],"systems,":[193],"comparable":[198],"expertly":[200],"hand-tuned":[201],"platforms.":[206]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":18},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":15},{"year":2022,"cited_by_count":12},{"year":2021,"cited_by_count":19},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":15},{"year":2018,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}