{"id":"https://openalex.org/W2291222735","doi":"https://doi.org/10.1145/2854038.2854050","title":"Symbolic range analysis of pointers","display_name":"Symbolic range analysis of pointers","publication_year":2016,"publication_date":"2016-02-29","ids":{"openalex":"https://openalex.org/W2291222735","doi":"https://doi.org/10.1145/2854038.2854050","mag":"2291222735"},"language":"en","primary_location":{"id":"doi:10.1145/2854038.2854050","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2854038.2854050","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 International Symposium on Code Generation and Optimization","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1843/ESBF-AEDQPR","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091563094","display_name":"Vitor Paisante","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":"Vitor Paisante","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/A5020563470","display_name":"Maroua Maalej","orcid":null},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Maroua Maalej","raw_affiliation_strings":["University of Lyon, France / LIP, France"],"affiliations":[{"raw_affiliation_string":"University of Lyon, France / LIP, France","institution_ids":["https://openalex.org/I100532134"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011568018","display_name":"Leonardo Valentino Soares Barbosa","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":"Leonardo Barbosa","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/A5059186408","display_name":"Laure Gonnord","orcid":"https://orcid.org/0000-0002-8013-1611"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laure Gonnord","raw_affiliation_strings":["University of Lyon, France / LIP, France"],"affiliations":[{"raw_affiliation_string":"University of Lyon, France / LIP, France","institution_ids":["https://openalex.org/I100532134"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112234604","display_name":"Fernando Magno Quint\u00e3o Pereira","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":"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":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5091563094"],"corresponding_institution_ids":["https://openalex.org/I110200422"],"apc_list":null,"apc_paid":null,"fwci":2.5598,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.88421628,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"171","last_page":"181"},"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.9994999766349792,"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.9994999766349792,"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.9986000061035156,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980999827384949,"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/alias","display_name":"Alias","score":0.9532792568206787},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8890107870101929},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8261229991912842},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.7492427825927734},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5837144255638123},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5371193885803223},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5339613556861877},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5161951184272766},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.41420358419418335},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3982311487197876},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.3965952396392822},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3444204032421112},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1743089258670807},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.17127329111099243},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.06803745031356812}],"concepts":[{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.9532792568206787},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8890107870101929},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8261229991912842},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.7492427825927734},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5837144255638123},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5371193885803223},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5339613556861877},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5161951184272766},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.41420358419418335},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3982311487197876},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.3965952396392822},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3444204032421112},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1743089258670807},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.17127329111099243},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.06803745031356812},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2854038.2854050","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2854038.2854050","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 International Symposium on Code Generation and Optimization","raw_type":"proceedings-article"},{"id":"pmh:oai:repositorio.ufmg.br:1843/ESBF-AEDQPR","is_oa":true,"landing_page_url":"http://hdl.handle.net/1843/ESBF-AEDQPR","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"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"},{"id":"pmh:oai:HAL:hal-01228928v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01228928","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Symposium of Code Generation and Optimization, Mar 2016, Barcelona, Spain. pp.791-809","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:repositorio.ufmg.br:1843/ESBF-AEDQPR","is_oa":true,"landing_page_url":"http://hdl.handle.net/1843/ESBF-AEDQPR","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"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":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6399999856948853}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"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/F4320326804","display_name":"Universit\u00e9 de Lyon","ror":"https://ror.org/01rk35k63"},{"id":"https://openalex.org/F4320338463","display_name":"CHIST-ERA","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1513884898","https://openalex.org/W1582456956","https://openalex.org/W1871311856","https://openalex.org/W1970854199","https://openalex.org/W1972427803","https://openalex.org/W1982205631","https://openalex.org/W1985774614","https://openalex.org/W1991227647","https://openalex.org/W2004419599","https://openalex.org/W2030697178","https://openalex.org/W2043100293","https://openalex.org/W2046699259","https://openalex.org/W2060439939","https://openalex.org/W2065826255","https://openalex.org/W2107742417","https://openalex.org/W2108149083","https://openalex.org/W2112482891","https://openalex.org/W2112936713","https://openalex.org/W2122745100","https://openalex.org/W2125725994","https://openalex.org/W2130711572","https://openalex.org/W2131135493","https://openalex.org/W2134569009","https://openalex.org/W2145911832","https://openalex.org/W2149237601","https://openalex.org/W2153185479","https://openalex.org/W2153578567","https://openalex.org/W2169304846","https://openalex.org/W4213346796","https://openalex.org/W4241381711"],"related_works":["https://openalex.org/W2363386825","https://openalex.org/W2520889855","https://openalex.org/W2285514967","https://openalex.org/W1602885681","https://openalex.org/W4378373694","https://openalex.org/W2213281886","https://openalex.org/W3121955897","https://openalex.org/W1541430579","https://openalex.org/W2570232277","https://openalex.org/W2037561330"],"abstract_inverted_index":{"Alias":[0],"analysis":[1,65,81,152,159],"is":[2,53,77,160],"one":[3,167],"of":[4,20,74,113,122,131],"the":[5,22,29,114,150],"most":[6],"fundamental":[7],"techniques":[8],"that":[9,24,125,134],"compilers":[10,34],"use":[11],"to":[12,55,67,78],"optimize":[13],"languages":[14],"with":[15,82],"pointers.":[16],"However,":[17],"in":[18,49,155,171],"spite":[19],"all":[21],"attention":[23],"this":[25,69],"topic":[26],"has":[27],"received,":[28],"current":[30,135],"state-of-the-art":[31,136],"approaches":[32],"inside":[33],"still":[35],"face":[36],"challenges":[37],"regarding":[38],"precision":[39,99],"and":[40,51,94],"speed.":[41],"In":[42,141],"particular,":[43,142],"pointer":[44],"arithmetic,":[45],"a":[46,62,119],"key":[47,72],"feature":[48],"C":[50,132],"C++,":[52],"yet":[54],"be":[56],"handled":[57],"satisfactorily.":[58],"This":[59,86],"paper":[60],"presents":[61],"new":[63],"alias":[64,80,151],"algorithm":[66],"solve":[68],"problem.":[70],"The":[71],"insight":[73],"our":[75,105,158],"approach":[76],"combine":[79],"symbolic":[83],"range":[84],"analysis.":[85],"combination":[87],"lets":[88],"us":[89],"disambiguate":[90,128,145],"fields":[91],"within":[92],"arrays":[93],"structs,":[95],"effectively":[96],"achieving":[97],"more":[98,147],"than":[100,149],"traditional":[101],"algorithms.":[102],"To":[103],"validate":[104],"technique,":[106],"we":[107,126,143,163],"have":[108],"implemented":[109],"it":[110],"on":[111,118],"top":[112],"LLVM":[115],"compiler.":[116],"Tests":[117],"vast":[120],"suite":[121],"benchmarks":[123],"show":[124],"can":[127,144,164],"several":[129],"kinds":[130],"idioms":[133],"analyses":[137],"cannot":[138],"deal":[139],"with.":[140],"1.35x":[146],"queries":[148],"currently":[153],"available":[154],"LLVM.":[156],"Furthermore,":[157],"very":[161],"fast:":[162],"go":[165],"over":[166],"million":[168],"assembly":[169],"instructions":[170],"10":[172],"seconds.":[173]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}