{"id":"https://openalex.org/W2297720648","doi":"https://doi.org/10.1145/2892208.2892225","title":"Restrictification of function arguments","display_name":"Restrictification of function arguments","publication_year":2016,"publication_date":"2016-03-14","ids":{"openalex":"https://openalex.org/W2297720648","doi":"https://doi.org/10.1145/2892208.2892225","mag":"2297720648"},"language":"en","primary_location":{"id":"doi:10.1145/2892208.2892225","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2892208.2892225","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th International Conference on Compiler Construction","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1843/ESBF-ALLNHB","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103333015","display_name":"Victor Hugo Sperle Campos","orcid":null},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Victor Hugo Sperle Campos","raw_affiliation_strings":["Federal University of Minas Gerais, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Minas Gerais, Brazil","institution_ids":["https://openalex.org/I110200422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088354004","display_name":"P\u00e9ricles Alves","orcid":null},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"P\u00e9ricles Rafael Alves","raw_affiliation_strings":["Federal University of Minas Gerais, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Minas Gerais, Brazil","institution_ids":["https://openalex.org/I110200422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103439338","display_name":"Henrique Nazar\u00e9 Santos","orcid":null},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Henrique Nazar\u00e9 Santos","raw_affiliation_strings":["Federal University of Minas Gerais, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Minas Gerais, Brazil","institution_ids":["https://openalex.org/I110200422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078149140","display_name":"Fernando Magno Quint\u00e3o Pereira","orcid":"https://orcid.org/0000-0002-0375-1657"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Fernando Magno Quint\u00e3o Pereira","raw_affiliation_strings":["Federal University of Minas Gerais, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Minas Gerais, Brazil","institution_ids":["https://openalex.org/I110200422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5103333015"],"corresponding_institution_ids":["https://openalex.org/I110200422"],"apc_list":null,"apc_paid":null,"fwci":3.0921,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.92745341,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"163","last_page":"173"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955000281333923,"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/function","display_name":"Function (biology)","score":0.49523892998695374},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4901371896266937}],"concepts":[{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.49523892998695374},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4901371896266937},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2892208.2892225","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2892208.2892225","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th International Conference on Compiler Construction","raw_type":"proceedings-article"},{"id":"pmh:oai:americanae.aecid.es:2131050","is_oa":true,"landing_page_url":"http://hdl.handle.net/1843/ESBF-ALLNHB","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da UFMG","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:americanae.aecid.es:2131050","is_oa":true,"landing_page_url":"http://hdl.handle.net/1843/ESBF-ALLNHB","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da UFMG","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G820315200","display_name":null,"funder_award_id":"22461","funder_id":"https://openalex.org/F4320323356","funder_display_name":"Funda\u00e7\u00e3o de Desenvolvimento da Pesquisa"}],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320322980","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de Minas Gerais","ror":"https://ror.org/00nc55f03"},{"id":"https://openalex.org/F4320323356","display_name":"Funda\u00e7\u00e3o de Desenvolvimento da Pesquisa","ror":"https://ror.org/0176yjw32"},{"id":"https://openalex.org/F4320329803","display_name":"LG Electronics","ror":"https://ror.org/03ddh2c27"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1515772642","https://openalex.org/W1563221445","https://openalex.org/W1966032455","https://openalex.org/W1971782746","https://openalex.org/W1974133806","https://openalex.org/W1982205631","https://openalex.org/W1985774614","https://openalex.org/W2000335122","https://openalex.org/W2004419599","https://openalex.org/W2040825319","https://openalex.org/W2046699259","https://openalex.org/W2046976279","https://openalex.org/W2066132324","https://openalex.org/W2066535672","https://openalex.org/W2102976251","https://openalex.org/W2107742417","https://openalex.org/W2107782879","https://openalex.org/W2108149083","https://openalex.org/W2115971347","https://openalex.org/W2130711572","https://openalex.org/W2131135493","https://openalex.org/W2134569009","https://openalex.org/W2136839747","https://openalex.org/W2138378640","https://openalex.org/W2145911832","https://openalex.org/W2147654959","https://openalex.org/W2148555526","https://openalex.org/W2149237601","https://openalex.org/W2153185479","https://openalex.org/W2153578567","https://openalex.org/W2158600037","https://openalex.org/W3145846323"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Pointer":[0],"aliasing":[1,118,156],"still":[2],"hinders":[3],"compiler":[4],"optimizations,":[5],"in":[6,40,167],"spite":[7],"of":[8,10,19,45,60,82,93,117,128,137,163,189],"years":[9],"research":[11],"on":[12,196],"pointer":[13],"disambiguation.":[14],"Because":[15],"the":[16,37,43,115,126,129,143,147,185,194],"automatic":[17,61],"disambiguation":[18],"pointers":[20,78],"is":[21,48],"a":[22,58,101,138],"difficult":[23],"endeavor,":[24],"several":[25],"programming":[26],"languages":[27],"offer":[28],"programmers":[29],"mechanisms":[30,47],"to":[31,50,76,89,133,175],"distinguish":[32],"memory":[33,94],"references,":[34],"such":[35,46],"as":[36,80,203,205],"\u201crestrict\u201d":[38],"keyword":[39],"C.":[41],"However,":[42],"use":[44,125],"prone":[49],"human":[51],"mistakes.":[52],"In":[53],"this":[54,65],"paper":[55],"we":[56,108,124,140,151,171,199],"present":[57],"suite":[59],"techniques":[62,85],"that":[63,154,170],"mitigate":[64],"problem.":[66],"We":[67,99],"have":[68,200],"designed,":[69],"implemented":[70],"and":[71,96,111],"tested":[72],"three":[73],"different":[74],"ways":[75],"disambiguate":[77,110],"passed":[79],"arguments":[81,107],"functions.":[83],"Our":[84],"combine":[86],"static":[87],"analyses":[88],"infer":[90],"symbolic":[91,130],"bounds":[92],"regions":[95],"code":[97],"versioning.":[98],"generate":[100],"clone":[102],"for":[103],"each":[104],"function":[105,139],"whose":[106],"can":[109,152,157,172],"optimize":[112],"it":[113],"assuming":[114],"absence":[116],"among":[119],"formal":[120],"parameters.":[121],"At":[122],"runtime,":[123],"results":[127],"interval":[131],"tests":[132],"decide":[134],"which":[135],"version":[136],"should":[141],"call:":[142],"original":[144],"one":[145],"or":[146],"\u201crestricted\u201d":[148],"clone,":[149],"whenever":[150],"prove":[153],"no":[155],"occur":[158],"at":[159],"runtime.":[160],"An":[161],"implementation":[162],"our":[164],"restrictification":[165],"methods":[166],"LLVM":[168],"shows":[169],"vectorize":[173],"up":[174],"63%":[176],"more":[177],"operations":[178],"than":[179],"what":[180],"could":[181],"be":[182],"accomplished":[183],"using":[184],"-O3":[186],"optimization":[187,195],"level":[188],"said":[190],"compiler.":[191],"When":[192],"applying":[193],"OpenCV":[197],"benchmarks,":[198],"observed":[201],"speedups":[202],"great":[204],"40%.":[206]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}