{"id":"https://openalex.org/W7125913748","doi":"https://doi.org/10.1145/3771775.3786274","title":"RIFS: Run-Time Invariant Function Specialization","display_name":"RIFS: Run-Time Invariant Function Specialization","publication_year":2026,"publication_date":"2026-01-28","ids":{"openalex":"https://openalex.org/W7125913748","doi":"https://doi.org/10.1145/3771775.3786274"},"language":null,"primary_location":{"id":"doi:10.1145/3771775.3786274","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3771775.3786274","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction","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/A5090689004","display_name":"Saba Jamilan","orcid":"https://orcid.org/0000-0003-2259-6426"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Saba Jamilan","raw_affiliation_strings":["University of California at Santa Cruz, Santa Cruz, USA"],"raw_orcid":"https://orcid.org/0000-0003-2259-6426","affiliations":[{"raw_affiliation_string":"University of California at Santa Cruz, Santa Cruz, USA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016747898","display_name":"Snehasish Kumar","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Snehasish Kumar","raw_affiliation_strings":["Google, Mountain View, USA"],"raw_orcid":"https://orcid.org/0000-0002-6871-8962","affiliations":[{"raw_affiliation_string":"Google, Mountain View, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002126571","display_name":"Heiner Litz","orcid":"https://orcid.org/0000-0001-5181-9639"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Heiner Litz","raw_affiliation_strings":["University of California at Santa Cruz, Santa Cruz, USA"],"raw_orcid":"https://orcid.org/0000-0001-5181-9639","affiliations":[{"raw_affiliation_string":"University of California at Santa Cruz, Santa Cruz, USA","institution_ids":["https://openalex.org/I185103710"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"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.08721605,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"40","last_page":"52"},"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.635200023651123,"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.635200023651123,"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/T10126","display_name":"Logic, programming, and type systems","score":0.2425999939441681,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.031300000846385956,"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/compiler","display_name":"Compiler","score":0.8986999988555908},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.7128000259399414},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.6676999926567078},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.5860000252723694},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5031999945640564},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.4334000051021576},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.43230000138282776}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8986999988555908},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7803000211715698},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.7128000259399414},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.6676999926567078},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5860000252723694},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5031999945640564},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4424000084400177},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.4334000051021576},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.43230000138282776},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4047999978065491},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3894999921321869},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3774000108242035},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.31850001215934753},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3172000050544739},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.3142000138759613},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.29840001463890076},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.271699994802475},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.2554999887943268}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3771775.3786274","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3771775.3786274","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction","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":28,"referenced_works":["https://openalex.org/W1987552279","https://openalex.org/W2006312753","https://openalex.org/W2014259743","https://openalex.org/W2024988162","https://openalex.org/W2049890071","https://openalex.org/W2063397164","https://openalex.org/W2067974800","https://openalex.org/W2069996154","https://openalex.org/W2074398758","https://openalex.org/W2080592089","https://openalex.org/W2097943987","https://openalex.org/W2102664711","https://openalex.org/W2102890180","https://openalex.org/W2127919458","https://openalex.org/W2290349115","https://openalex.org/W2297720648","https://openalex.org/W2588838797","https://openalex.org/W2592618839","https://openalex.org/W2604269348","https://openalex.org/W2952416601","https://openalex.org/W2963274022","https://openalex.org/W2978069623","https://openalex.org/W2999496892","https://openalex.org/W3097781304","https://openalex.org/W3106774398","https://openalex.org/W3160177516","https://openalex.org/W4246166885","https://openalex.org/W4248045917"],"related_works":[],"abstract_inverted_index":{"Compilers":[0],"apply":[1],"optimizations":[2],"such":[3],"as":[4],"function":[5,39,83],"specialization":[6,40,97],"and":[7,149],"constant":[8,74],"propagation":[9],"to":[10,63,86,114],"eliminate":[11],"redundant":[12],"work":[13],"at":[14],"compile":[15],"time.":[16],"However,":[17],"because":[18],"compilers":[19],"must":[20],"prove":[21],"that":[22,46,105],"values":[23],"are":[24],"constant,":[25],"many":[26],"profitable":[27],"optimization":[28,140],"opportunities":[29],"remain":[30],"unrealized.":[31],"In":[32],"this":[33],"paper,":[34],"we":[35,99],"propose":[36],"run-time":[37],"invariant":[38,52,66],"(RIFS),":[41],"a":[42,58,101],"profile-guided":[43],"compiler":[44],"technique":[45],"specializes":[47],"functions":[48],"based":[49],"on":[50],"runtime":[51,65],"call-site-specific":[53],"argument":[54],"values.":[55],"RIFS":[56,130,142],"introduces":[57],"novel":[59],"value-profiling":[60],"LLVM":[61,78,126,157],"pass":[62,80],"identify":[64],"arguments,":[67],"even":[68],"though":[69],"they":[70],"cannot":[71],"be":[72],"proven":[73],"statically.":[75],"A":[76],"subsequent":[77],"transformation":[79],"generates":[81],"specialized":[82],"variants":[84],"tailored":[85],"these":[87],"value":[88],"profiles.":[89],"To":[90],"efficiently":[91],"select":[92],"among":[93],"potentially":[94],"thousands":[95],"of":[96,110,147,153],"candidates,":[98],"develop":[100],"predictive":[102],"cost":[103],"model":[104],"estimates":[106],"the":[107,123,156],"performance":[108],"benefit":[109],"each":[111],"candidate":[112],"prior":[113],"code":[115],"generation.":[116],"We":[117,128],"integrate":[118],"our":[119],"passes":[120],"seamlessly":[121],"into":[122],"existing":[124],"PGO-enabled":[125],"toolchain.":[127],"evaluate":[129],"across":[131],"11":[132],"real-world":[133],"applications,":[134],"demonstrating":[135],"substantial":[136],"improvements":[137],"over":[138,155],"state-of-the-art":[139],"techniques.":[141],"achieves":[143],"an":[144,150],"average":[145],"speedup":[146],"6.3%":[148],"instruction":[151],"reduction":[152],"2.5%":[154],"-O3+PGO":[158],"baseline.":[159]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-29T00:00:00"}