{"id":"https://openalex.org/W7131088976","doi":"https://doi.org/10.1109/cgo68049.2026.11395215","title":"Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates","display_name":"Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates","publication_year":2026,"publication_date":"2026-01-31","ids":{"openalex":"https://openalex.org/W7131088976","doi":"https://doi.org/10.1109/cgo68049.2026.11395215"},"language":null,"primary_location":{"id":"doi:10.1109/cgo68049.2026.11395215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo68049.2026.11395215","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","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/A5126619309","display_name":"Florian Huemer","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Florian Huemer","raw_affiliation_strings":["Johannes Kepler University,Linz,Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University,Linz,Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043562961","display_name":"Aleksandar Prokopec","orcid":"https://orcid.org/0000-0003-0260-2729"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aleksandar Prokopec","raw_affiliation_strings":["Oracle Labs,Zurich,Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oracle Labs,Zurich,Switzerland","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069165515","display_name":"David Leopoldseder","orcid":"https://orcid.org/0000-0002-9361-6431"},"institutions":[{"id":"https://openalex.org/I1342911587","display_name":"Oracle (United States)","ror":"https://ror.org/006c77m33","country_code":"US","type":"company","lineage":["https://openalex.org/I1342911587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Leopoldseder","raw_affiliation_strings":["Oracle Labs,Vienna,Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oracle Labs,Vienna,Austria","institution_ids":["https://openalex.org/I1342911587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087488809","display_name":"Raphael Mosaner","orcid":"https://orcid.org/0000-0003-0523-2241"},"institutions":[{"id":"https://openalex.org/I1342911587","display_name":"Oracle (United States)","ror":"https://ror.org/006c77m33","country_code":"US","type":"company","lineage":["https://openalex.org/I1342911587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Raphael Mosaner","raw_affiliation_strings":["Oracle Labs,Linz,Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oracle Labs,Linz,Austria","institution_ids":["https://openalex.org/I1342911587"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5126604813","display_name":"Hanspeter M\u00f6ssenb\u00f6ck","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Hanspeter M\u00f6ssenb\u00f6ck","raw_affiliation_strings":["Johannes Kepler University,Linz,Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University,Linz,Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23520981,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"109","last_page":"122"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.05889999866485596,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.05889999866485596,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.033399999141693115,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0284000001847744,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"Partial evaluation","score":0.8445000052452087},{"id":"https://openalex.org/keywords/bytecode","display_name":"Bytecode","score":0.8436999917030334},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7716000080108643},{"id":"https://openalex.org/keywords/opcode","display_name":"Opcode","score":0.7145000100135803},{"id":"https://openalex.org/keywords/template","display_name":"Template","score":0.6208000183105469},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4674000144004822},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.46299999952316284},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.44279998540878296}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8564000129699707},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.8445000052452087},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.8436999917030334},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7716000080108643},{"id":"https://openalex.org/C52173422","wikidata":"https://www.wikidata.org/wiki/Q766483","display_name":"Opcode","level":2,"score":0.7145000100135803},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.6208000183105469},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5863999724388123},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4674000144004822},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.46299999952316284},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.44279998540878296},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4375999867916107},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.400299996137619},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.3779999911785126},{"id":"https://openalex.org/C165435473","wikidata":"https://www.wikidata.org/wiki/Q1509884","display_name":"Padding","level":2,"score":0.36149999499320984},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.3564999997615814},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3379000127315521},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.33469998836517334},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.3269999921321869},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.26089999079704285}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cgo68049.2026.11395215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo68049.2026.11395215","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W1480878783","https://openalex.org/W1496885683","https://openalex.org/W1519503583","https://openalex.org/W1557565165","https://openalex.org/W1596403187","https://openalex.org/W1810396090","https://openalex.org/W1978506930","https://openalex.org/W1982205631","https://openalex.org/W1996081324","https://openalex.org/W2007178835","https://openalex.org/W2008830761","https://openalex.org/W2009674917","https://openalex.org/W2010452422","https://openalex.org/W2019571395","https://openalex.org/W2021246880","https://openalex.org/W2028045978","https://openalex.org/W2028175476","https://openalex.org/W2037317228","https://openalex.org/W2045267561","https://openalex.org/W2067693540","https://openalex.org/W2074268752","https://openalex.org/W2077436409","https://openalex.org/W2094269821","https://openalex.org/W2095460218","https://openalex.org/W2100111786","https://openalex.org/W2104512898","https://openalex.org/W2107202938","https://openalex.org/W2110629752","https://openalex.org/W2111443557","https://openalex.org/W2141293928","https://openalex.org/W2152885483","https://openalex.org/W2157117208","https://openalex.org/W2159558457","https://openalex.org/W2160756430","https://openalex.org/W2169361939","https://openalex.org/W2197714735","https://openalex.org/W2533740594","https://openalex.org/W2572804059","https://openalex.org/W2610592684","https://openalex.org/W2625141509","https://openalex.org/W2731881248","https://openalex.org/W2793681106","https://openalex.org/W2891729616","https://openalex.org/W2979463730","https://openalex.org/W3003304722","https://openalex.org/W3207712758","https://openalex.org/W3207840788","https://openalex.org/W4230341943","https://openalex.org/W4232751114","https://openalex.org/W4236519034","https://openalex.org/W4238089251","https://openalex.org/W4387667014"],"related_works":[],"abstract_inverted_index":{"Partial":[0],"evaluation":[1,62,77,95,103],"allows":[2],"specializing":[3],"programs":[4],"by":[5,124,152,244,252],"substituting":[6,153],"some":[7],"of":[8,73,109,118,174],"their":[9,134,154],"inputs":[10],"with":[11,65,87,210],"static":[12,18,135,155],"values":[13],"and":[14,45,80,137,168,178,198,218,249],"evaluating":[15],"the":[16,28,71,88,97,106,165,172,175,206,216,223,226],"resulting":[17,35],"expressions.":[19],"When":[20],"applied":[21],"to":[22,30,67,159,246,254],"a":[23,31,37,125,142,160,192,200,211,220],"language":[24],"interpreter,":[25],"it":[26],"specializes":[27],"interpreter":[29,39,144],"fixed":[32],"source":[33],"program,":[34],"in":[36,58,133,141,238],"specialized":[38],"that":[40,121,164,214],"existing":[41,207,227],"compilers":[42],"can":[43],"optimize":[44],"generate":[46],"efficient":[47],"machine":[48],"code":[49],"for.":[50],"Although":[51],"this":[52],"approach":[53,189],"achieves":[54],"good":[55],"peak":[56,259],"performance":[57],"just-in-time":[59,110],"compilers,":[60],"partial":[61,76,94,102,181,228],"is":[63],"costly":[64],"respect":[66],"compilation":[68,107],"time.":[69],"In":[70],"case":[72],"bytecode":[74,83,143],"interpreters,":[75],"must":[78],"process":[79],"transform":[81],"each":[82],"instruction.":[84],"Since":[85],"instructions":[86],"same":[89,98],"opcodes":[90,237],"share":[91],"common":[92,139],"functionality,":[93],"applies":[96],"transformations":[99],"repeatedly.":[100],"Consequently,":[101],"significantly":[104],"increases":[105],"time":[108,243,251],"compilation.We":[111],"propose":[112],"partial-evaluation":[113,242],"templates,":[114],"i.e.,":[115],"reusable":[116],"collections":[117],"ahead-of-time-compiled":[119],"graphs":[120],"are":[122,131],"generated":[123],"hand-written":[126],"cogen":[127],"approach.":[128],"The":[129],"templates":[130,149,217,224],"parametric":[132],"inputs,":[136,156],"cover":[138],"functionality":[140],"implementation.":[145],"At":[146],"compile":[147],"time,":[148],"specialize":[150],"themselves":[151,158],"reducing":[157],"single":[161],"pre-compiled":[162],"graph":[163],"compiler":[166,209],"inlines":[167],"optimizes.":[169],"This":[170],"reduces":[171],"size":[173],"intermediate":[176],"representation":[177],"speeds":[179],"up":[180,245,253],"evaluation,":[182],"as":[183,185],"well":[184],"optimizations.We":[186],"integrated":[187],"our":[188],"into":[190,225],"GraalVM,":[191],"state-of-the-art":[193],"high-performance":[194],"polyglot":[195],"virtual":[196],"machine,":[197],"GraalWasm,":[199,239],"bytecode-interpreter-based":[201],"WebAssembly":[202],"runtime.":[203],"We":[204,230],"extended":[205],"GraalVM":[208],"binding-time":[212],"analysis":[213],"generates":[215],"introduced":[219],"specializer":[221],"for":[222,234],"evaluator.":[229],"enabled":[231],"template":[232],"generation":[233],"nearly":[235],"all":[236],"which":[240],"reduced":[241],"36":[247],"%":[248,256],"warmup":[250],"17":[255],"without":[257],"impacting":[258],"performance.":[260]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-02-24T00:00:00"}