{"id":"https://openalex.org/W4206300973","doi":"https://doi.org/10.1109/pact.2002.1106020","title":"Speculative alias analysis for executable code","display_name":"Speculative alias analysis for executable code","publication_year":2003,"publication_date":"2003-06-26","ids":{"openalex":"https://openalex.org/W4206300973","doi":"https://doi.org/10.1109/pact.2002.1106020"},"language":"en","primary_location":{"id":"doi:10.1109/pact.2002.1106020","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2002.1106020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings.International Conference on Parallel Architectures and Compilation Techniques","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/A5074457587","display_name":"Manel Fern\u00e1ndez","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"M. Fernandez","raw_affiliation_strings":["Computer Architecture Department, Universitat Polilt\u00e8cnica de Catalunya, Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Computer Architecture Department, Universitat Polilt\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023653543","display_name":"Roger Espasa","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"R. Espasa","raw_affiliation_strings":["Computer Architecture Department, Universitat Polilt\u00e8cnica de Catalunya, Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Computer Architecture Department, Universitat Polilt\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5074457587"],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":1.5093,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.84510472,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9997000098228455,"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.9997000098228455,"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/T11424","display_name":"Security and Verification in Computing","score":0.9991000294685364,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9229716062545776},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.904186487197876},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8186624646186829},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.5953896045684814},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5610673427581787},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.526988685131073},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5149205923080444},{"id":"https://openalex.org/keywords/speculation","display_name":"Speculation","score":0.5147664546966553},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.498279333114624},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.48877283930778503},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4814990758895874},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.38744112849235535},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.366763174533844},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3394990563392639},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.15068647265434265},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.11618548631668091}],"concepts":[{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.9229716062545776},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.904186487197876},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8186624646186829},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.5953896045684814},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5610673427581787},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.526988685131073},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5149205923080444},{"id":"https://openalex.org/C47941915","wikidata":"https://www.wikidata.org/wiki/Q107885","display_name":"Speculation","level":2,"score":0.5147664546966553},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.498279333114624},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.48877283930778503},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4814990758895874},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.38744112849235535},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.366763174533844},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3394990563392639},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.15068647265434265},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.11618548631668091},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/pact.2002.1106020","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2002.1106020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings.International Conference on Parallel Architectures and Compilation Techniques","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320323737","display_name":"Ministerio de Ciencia y Tecnolog\u00eda","ror":"https://ror.org/034900433"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W150431575","https://openalex.org/W1491178396","https://openalex.org/W1524758670","https://openalex.org/W1604845379","https://openalex.org/W1977380916","https://openalex.org/W2003675210","https://openalex.org/W2004633100","https://openalex.org/W2008015263","https://openalex.org/W2009911326","https://openalex.org/W2030400507","https://openalex.org/W2036208810","https://openalex.org/W2036918610","https://openalex.org/W2040701288","https://openalex.org/W2042708654","https://openalex.org/W2059590831","https://openalex.org/W2107782879","https://openalex.org/W2114067856","https://openalex.org/W2118263004","https://openalex.org/W2124622108","https://openalex.org/W2133608633","https://openalex.org/W2164638440","https://openalex.org/W2914074464","https://openalex.org/W4237579948","https://openalex.org/W4239025062","https://openalex.org/W4248045917","https://openalex.org/W4254689530","https://openalex.org/W6606101983","https://openalex.org/W6631538995","https://openalex.org/W6644504717"],"related_works":["https://openalex.org/W2363386825","https://openalex.org/W2520889855","https://openalex.org/W1602885681","https://openalex.org/W4378373694","https://openalex.org/W2213281886","https://openalex.org/W3121955897","https://openalex.org/W2570232277","https://openalex.org/W1541430579","https://openalex.org/W2037561330","https://openalex.org/W1980468060"],"abstract_inverted_index":{"Optimizations":[0],"performed":[1],"at":[2,52,93,116],"link":[3],"time":[4],"or":[5,77],"directly":[6],"applied":[7,71],"to":[8,47,63,69,124],"final":[9],"program":[10],"executables":[11],"have":[12],"received":[13],"increased":[14],"attention":[15],"in":[16,38,72,126],"recent":[17],"years.":[18],"Such":[19],"low-level":[20],"optimizations":[21],"can":[22,149],"benefit":[23],"greatly":[24],"from":[25],"pointer":[26],"alias":[27,34,97],"information.":[28],"However":[29],"as":[30],"almost":[31],"all":[32],"existing":[33],"analyses":[35],"are":[36],"formulated":[37],"terms":[39],"of":[40,49,75,90,102,132,137],"source":[41],"language":[42],"constructs,":[43],"they":[44],"turn":[45],"out":[46],"be":[48,70,150],"limited":[50],"utility":[51],"the":[53,73,88,106,135],"machine":[54],"code":[55,79],"level.":[56],"This":[57],"paper":[58],"describes":[59],"two":[60],"different":[61],"approaches":[62],"high-quality,":[64],"low-cost,":[65],"speculative":[66],"may-alias":[67],"analysis,":[68],"context":[74],"link-time":[76],"executable":[78],"optimizers.":[80],"The":[81],"key":[82],"idea":[83],"behind":[84],"our":[85,147],"proposals":[86],"is":[87,118,140,158],"introduction":[89],"unsafe":[91],"speculations":[92],"analysis-time,":[94],"which":[95,144],"increases":[96,122],"precision":[98,121,131],"on":[99],"important":[100],"portions":[101],"code,":[103],"and":[104],"keeps":[105],"analysis":[107],"reasonably":[108],"cost-efficient.":[109],"Experimental":[110],"results":[111],"indicate":[112],"that":[113,146],"introducing":[114],"speculation":[115,156],"analysis-time":[117],"clearly":[119],"beneficial:":[120],"up":[123],"83%":[125],"average,":[127],"against":[128],"a":[129],"baseline":[130],"16%.":[133],"Furthermore,":[134],"percentage":[136],"dynamic":[138],"misspeculations":[139],"typically":[141],"about":[142],"2%,":[143],"shows":[145],"technique":[148],"used":[151],"even":[152],"for":[153],"scenarios":[154],"where":[155],"recovery":[157],"expensive.":[159]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}