{"id":"https://openalex.org/W3194999758","doi":"https://doi.org/10.1007/978-3-030-83978-9_1","title":"Dataset Sensitive Autotuning of\u00a0Multi-versioned Code Based on\u00a0Monotonic Properties","display_name":"Dataset Sensitive Autotuning of\u00a0Multi-versioned Code Based on\u00a0Monotonic Properties","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3194999758","doi":"https://doi.org/10.1007/978-3-030-83978-9_1","mag":"3194999758"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-83978-9_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-83978-9_1","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-83978-9_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-83978-9_1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049940053","display_name":"Philip Munksgaard","orcid":"https://orcid.org/0000-0001-9499-199X"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Philip Munksgaard","raw_affiliation_strings":["DIKU, University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067120537","display_name":"Svend Lund Breddam","orcid":null},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Svend Lund Breddam","raw_affiliation_strings":["DIKU, University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034400099","display_name":"Troels Henriksen","orcid":"https://orcid.org/0000-0002-1195-9722"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Troels Henriksen","raw_affiliation_strings":["DIKU, University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023532714","display_name":"Fabian Gieseke","orcid":"https://orcid.org/0000-0001-7093-5803"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Fabian Cristian Gieseke","raw_affiliation_strings":["DIKU, University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080735312","display_name":"Cosmin E. Oancea","orcid":"https://orcid.org/0000-0001-5421-6876"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Cosmin Oancea","raw_affiliation_strings":["DIKU, University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5049940053"],"corresponding_institution_ids":["https://openalex.org/I124055696"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.7412,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67321613,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"23"},"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.9969000220298767,"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.9969000220298767,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8417127132415771},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.7279818654060364},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.641619086265564},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3782702386379242},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35398393869400024},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3394160866737366},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07579439878463745}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8417127132415771},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.7279818654060364},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.641619086265564},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3782702386379242},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35398393869400024},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3394160866737366},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07579439878463745},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-83978-9_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-83978-9_1","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-83978-9_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/50506b85-5c14-4db1-b6df-7e1cd5fb86bd","is_oa":true,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/50506b85-5c14-4db1-b6df-7e1cd5fb86bd","pdf_url":"https://curis.ku.dk/ws/files/299693785/Dataset_Sensitive_Autotuning.pdf","source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Munksgaard , P , Breddam , S L , Henriksen , T , Gieseke , F C & Oancea , C 2021 , Dataset Sensitive Autotuning of\u00a0Multi-versioned Code Based on\u00a0Monotonic Properties : Autotuning in Futhark . in V Zsok & J Hughes (eds) , Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers . Springer Science and Business Media Deutschland GmbH , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 12834 LNCS , pp. 3-23 , 22nd International Symposium on Trends in Functional Programming, TFP 2021 , Virtual, Online , 17/02/2021 . https://doi.org/10.1007/978-3-030-83978-9_1","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-83978-9_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-83978-9_1","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-83978-9_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3194999758.pdf","grobid_xml":"https://content.openalex.org/works/W3194999758.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W16598917","https://openalex.org/W17338413","https://openalex.org/W58073954","https://openalex.org/W1510727076","https://openalex.org/W1965122136","https://openalex.org/W1997978901","https://openalex.org/W2055312318","https://openalex.org/W2080592089","https://openalex.org/W2093708648","https://openalex.org/W2100218206","https://openalex.org/W2100232637","https://openalex.org/W2113682966","https://openalex.org/W2156560068","https://openalex.org/W2214214281","https://openalex.org/W2294854295","https://openalex.org/W2472217442","https://openalex.org/W2644985445","https://openalex.org/W2753791385","https://openalex.org/W2772612468","https://openalex.org/W2791258966","https://openalex.org/W2887315144","https://openalex.org/W2890693729","https://openalex.org/W2898200251","https://openalex.org/W2913154098","https://openalex.org/W2913324528","https://openalex.org/W3029585407","https://openalex.org/W3132222959"],"related_works":["https://openalex.org/W2077314575","https://openalex.org/W4315701745","https://openalex.org/W1990290471","https://openalex.org/W4380682190","https://openalex.org/W2005710836","https://openalex.org/W2102386043","https://openalex.org/W2945307361","https://openalex.org/W1987764909","https://openalex.org/W2116636209","https://openalex.org/W2053698688"],"abstract_inverted_index":{"Abstract":[0],"Functional":[1],"languages":[2],"allow":[3],"rewrite-rule":[4],"systems":[5],"that":[6,40,61,94,120,144,180,213,247],"aggressively":[7],"generate":[8],"a":[9,37,51,65,87,107,175,194,221],"multitude":[10],"of":[11,20,29,190,196,199,223,241],"semantically-equivalent":[12],"but":[13],"differently-optimized":[14],"code":[15,34,83,103],"versions.":[16,84],"In":[17],"the":[18,26,74,78,82,95,113,163,168,182,188,217,264,268],"context":[19],"GPGPU":[21],"execution,":[22],"this":[23],"paper":[24],"addresses":[25],"important":[27],"question":[28],"how":[30,152],"to":[31,100,162],"compose":[32],"these":[33],"versions":[35,104],"into":[36,147],"single":[38],"program":[39,97],"(near-)optimally":[41],"discriminates":[42],"them":[43],"across":[44],"different":[45],"datasets.":[46],"Rather":[47],"than":[48,263],"aiming":[49],"at":[50],"general":[52],"autotuning":[53],"framework":[54],"reliant":[55],"on":[56,193,233],"stochastic":[57],"search,":[58],"we":[59],"argue":[60],"in":[62,238],"some":[63],"cases,":[64,243],"more":[66,236],"effective":[67],"solution":[68,124,133,179,192],"can":[69,154],"be":[70,128,155],"obtained":[71],"by":[72,167,220,267],"customizing":[73],"tuning":[75,160,178,218],"strategy":[76,91,118,137,161],"for":[77],"compiler":[79,171],"transformation":[80,165],"producing":[81],"We":[85,157,186,211],"present":[86],"simple":[88],"and":[89,141,151,172,202,209,235],"highly-composable":[90],"which":[92],"requires":[93],"(dynamic)":[96],"property":[98],"used":[99],"discriminate":[101],"between":[102],"conforms":[105],"with":[106,174],"certain":[108],"monotonicity":[109,114],"assumption":[110,115],".":[111],"Assuming":[112],"holds,":[116],"our":[117,136,159,191,214],"guarantees":[119],"if":[121],"an":[122,131],"optimal":[123,132],"exists":[125],"it":[126,153,244],"will":[127],"found.":[129],"If":[130],"doesn\u2019t":[134],"exist,":[135],"produces":[138,245],"human":[139],"tractable":[140],"deterministic":[142],"results":[143],"provide":[145],"insights":[146],"what":[148],"went":[149],"wrong":[150],"fixed.":[156],"apply":[158],"incremental-flattening":[164],"supported":[166],"publicly-available":[169],"Futhark":[170],"compare":[173],"previous":[176],"black-box":[177],"uses":[181],"popular":[183],"OpenTuner":[184],"library.":[185],"demonstrate":[187],"feasibility":[189],"set":[195],"standard":[197],"datasets":[198],"real-world":[200],"applications":[201],"public":[203],"benchmark":[204],"suites,":[205],"such":[206],"as":[207,251],"Rodinia":[208],"FinPar.":[210],"show":[212],"approach":[215],"shortens":[216],"time":[219],"factor":[222],"$$6\\times":[224],"$$":[225,253],"<mml:math":[226,254],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[227,255],"<mml:mrow>":[228,256],"<mml:mn>6</mml:mn>":[229],"<mml:mo>\u00d7</mml:mo>":[230,258],"</mml:mrow>":[231,259],"</mml:math>":[232,260],"average,":[234],"importantly,":[237],"five":[239],"out":[240],"eleven":[242],"programs":[246],"are":[248],"(as":[249],"high":[250],"$$10\\times":[252],"<mml:mn>10</mml:mn>":[257],")":[261],"faster":[262],"ones":[265],"produced":[266],"OpenTuner-based":[269],"technique.":[270]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}