{"id":"https://openalex.org/W4226335321","doi":"https://doi.org/10.1007/978-3-030-99527-0_18","title":"Alpinist: An Annotation-Aware GPU Program Optimizer","display_name":"Alpinist: An Annotation-Aware GPU Program Optimizer","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4226335321","doi":"https://doi.org/10.1007/978-3-030-99527-0_18"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99527-0_18","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99527-0_18","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_18.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/978-3-030-99527-0_18.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000292610","display_name":"\u00d6mer \u015eakar","orcid":"https://orcid.org/0000-0003-3457-5446"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"\u00d6mer \u015eakar","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-3457-5446","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065529908","display_name":"Mohsen Safari","orcid":"https://orcid.org/0000-0003-0839-3251"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mohsen Safari","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-0839-3251","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045181048","display_name":"Marieke Huisman","orcid":"https://orcid.org/0000-0003-4467-072X"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marieke Huisman","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-4467-072X","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036964869","display_name":"Anton Wijs","orcid":"https://orcid.org/0000-0002-2071-9624"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Anton Wijs","raw_affiliation_strings":["Software Engineering and Technology, Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-2071-9624","affiliations":[{"raw_affiliation_string":"Software Engineering and Technology, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000292610"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":7.9343,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.97894737,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"332","last_page":"352"},"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.9998999834060669,"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.9998999834060669,"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.9977999925613403,"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/T11424","display_name":"Security and Verification in Computing","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9221420288085938},{"id":"https://openalex.org/keywords/annotation","display_name":"Annotation","score":0.6928409337997437},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5817788243293762},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.532954752445221},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.48892274498939514},{"id":"https://openalex.org/keywords/programming-style","display_name":"Programming style","score":0.47234952449798584},{"id":"https://openalex.org/keywords/cuda","display_name":"CUDA","score":0.4710058271884918},{"id":"https://openalex.org/keywords/general-purpose-computing-on-graphics-processing-units","display_name":"General-purpose computing on graphics processing units","score":0.4587850868701935},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40321892499923706},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23770654201507568},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.17708426713943481},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.17265984416007996},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.088589608669281}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9221420288085938},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.6928409337997437},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5817788243293762},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.532954752445221},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.48892274498939514},{"id":"https://openalex.org/C2776245389","wikidata":"https://www.wikidata.org/wiki/Q962139","display_name":"Programming style","level":2,"score":0.47234952449798584},{"id":"https://openalex.org/C2778119891","wikidata":"https://www.wikidata.org/wiki/Q477690","display_name":"CUDA","level":2,"score":0.4710058271884918},{"id":"https://openalex.org/C50630238","wikidata":"https://www.wikidata.org/wiki/Q971505","display_name":"General-purpose computing on graphics processing units","level":3,"score":0.4587850868701935},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40321892499923706},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23770654201507568},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.17708426713943481},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.17265984416007996},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.088589608669281}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-99527-0_18","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99527-0_18","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_18.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.tue.nl:openaire/9ac597c6-0f14-4b4c-960f-31596ee1f021","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/9ac597c6-0f14-4b4c-960f-31596ee1f021","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"\u015eakar, \u00d6, Safari, M, Huisman, M & Wijs, A 2022, Alpinist : An Annotation-Aware GPU Program Optimizer. in D Fisman & G Rosu (eds), Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2\u20137, 2022, Proceedings, Part II. Lecture Notes in Computer Science (LNCS), vol. 13244, Springer, Cham, pp. 332-352, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022 held as part of 25th European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, 2/04/22. https://doi.org/10.1007/978-3-030-99527-0_18","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire/9ee3e976-c396-445b-adf3-e75ac2409ffe","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/9ee3e976-c396-445b-adf3-e75ac2409ffe","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"\u015eakar, \u00d6, Safari, M, Huisman, M & Wijs, A 2022, Alpinist : An Annotation-Aware GPU Program Optimizer. in D Fisman & G Rosu (eds), Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2\u20137, 2022, Proceedings, Part II. Lecture Notes in Computer Science, vol. 13244, Springer, Cham, pp. 332\u2013352. https://doi.org/10.1007/978-3-030-99527-0_18","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99527-0_18","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99527-0_18","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_18.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":[{"id":"https://metadata.un.org/sdg/8","score":0.4300000071525574,"display_name":"Decent work and economic growth"}],"awards":[{"id":"https://openalex.org/G2647707245","display_name":null,"funder_award_id":"639.023.710","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G5090819313","display_name":null,"funder_award_id":"17249","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226335321.pdf","grobid_xml":"https://content.openalex.org/works/W4226335321.grobid-xml"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W2966141","https://openalex.org/W73145541","https://openalex.org/W257601016","https://openalex.org/W1480909796","https://openalex.org/W1483717008","https://openalex.org/W1562865234","https://openalex.org/W1817344819","https://openalex.org/W1830788897","https://openalex.org/W1922926746","https://openalex.org/W1964630622","https://openalex.org/W1992558790","https://openalex.org/W2004683477","https://openalex.org/W2023415862","https://openalex.org/W2061341742","https://openalex.org/W2104659803","https://openalex.org/W2122729175","https://openalex.org/W2128120785","https://openalex.org/W2129695855","https://openalex.org/W2131747807","https://openalex.org/W2135736783","https://openalex.org/W2148662736","https://openalex.org/W2153190325","https://openalex.org/W2155503253","https://openalex.org/W2168272209","https://openalex.org/W2204898875","https://openalex.org/W2206648863","https://openalex.org/W2294722445","https://openalex.org/W2477444687","https://openalex.org/W2489673379","https://openalex.org/W2515012086","https://openalex.org/W2550831451","https://openalex.org/W2583500347","https://openalex.org/W2609873635","https://openalex.org/W2746792245","https://openalex.org/W2783614532","https://openalex.org/W2887327791","https://openalex.org/W2888997865","https://openalex.org/W2898267029","https://openalex.org/W2914631005","https://openalex.org/W2934277119","https://openalex.org/W3012303953","https://openalex.org/W3014060182","https://openalex.org/W3030752614","https://openalex.org/W3035864434","https://openalex.org/W3047886038","https://openalex.org/W3093919310","https://openalex.org/W3095737695","https://openalex.org/W3106475002","https://openalex.org/W3109781407","https://openalex.org/W3119305140","https://openalex.org/W3122749996","https://openalex.org/W3138233144","https://openalex.org/W3148573243","https://openalex.org/W3205264255","https://openalex.org/W4214917512","https://openalex.org/W4233217607","https://openalex.org/W4245729501","https://openalex.org/W4251637954","https://openalex.org/W4256019627","https://openalex.org/W4256477861"],"related_works":["https://openalex.org/W1963859303","https://openalex.org/W2364044215","https://openalex.org/W2389600408","https://openalex.org/W240129890","https://openalex.org/W3048701459","https://openalex.org/W2149078538","https://openalex.org/W2370314112","https://openalex.org/W1912958759","https://openalex.org/W2792081825","https://openalex.org/W2893308117"],"abstract_inverted_index":{"Abstract":[0],"GPU":[1,39,57,70,76],"programs":[2,40,58,105],"are":[3],"widely":[4],"used":[5],"in":[6,91],"industry.":[7],"To":[8,30],"obtain":[9],"the":[10,18,28,32,85,94],"best":[11],"performance,":[12],"a":[13,101],"typical":[14],"development":[15],"process":[16],"involves":[17],"manual":[19],"or":[20],"semi-automatic":[21],"application":[22],"of":[23,34,103],"optimizations":[24],"prior":[25],"to":[26,46,98],"compiling":[27],"code.":[29],"avoid":[31],"introduction":[33],"errors,":[35],"we":[36],"can":[37],"augment":[38],"with":[41,93],"(pre-":[42],"and":[43,61,106],"postcondition-style)":[44],"annotations":[45,53],"capture":[47],"functional":[48],"properties.":[49],"However,":[50],"keeping":[51],"these":[52],"correct":[54],"when":[55],"optimizing":[56],"is":[59],"labor-intensive":[60],"error-prone.":[62],"This":[63],"paper":[64],"introduces":[65],"Alpinist":[66,89],",":[67,90],"an":[68],"annotation-aware":[69],"program":[71,96],"optimizer.":[72],"It":[73],"applies":[74],"frequently-used":[75],"optimizations,":[77],"but":[78],"besides":[79],"transforming":[80],"code,":[81],"it":[82],"also":[83],"transforms":[84],"annotations.":[86],"We":[87],"evaluate":[88],"combination":[92],"VerCors":[95],"verifier,":[97],"automatically":[99],"optimize":[100],"collection":[102],"verified":[104],"reverify":[107],"them.":[108]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":8},{"year":2022,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}