{"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-25","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","doi":"https://doi.org/10.1109/pact.2002.1106020","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2002.1106020","pdf_url":null,"source":{"id":"https://openalex.org/S4210194525","display_name":"International Conference on Parallel Architectures and Compilation Techniques (PACT)","issn_l":"1089-795X","issn":["1089-795X","2641-7944"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"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"},"volume":null,"type":"conference-paper","is_traditional":true,"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,"observed_orcids":[]},"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":"M. Fernandez","raw_affiliation_strings":["Computer Architecture Department, Universitat Polilt\u00e8cnica de Catalunya, Barcelona, Spain"],"raw_orcid":null,"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":"https://orcid.org/0009-0008-4885-3631","observed_orcids":["https://orcid.org/0009-0008-4885-3631"]},"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"],"raw_orcid":null,"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":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":1.2173,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.75680201,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"222","last_page":"231"},"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.8515999913215637,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8515999913215637,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.1168999969959259,"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.009499999694526196,"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/link-time-optimization","display_name":"link-time optimization","score":0.9909999966621399},{"id":"https://openalex.org/keywords/machine-code","display_name":"machine code","score":0.7409999966621399}],"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","doi":"https://doi.org/10.1109/pact.2002.1106020","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2002.1106020","pdf_url":null,"source":{"id":"https://openalex.org/S4210194525","display_name":"International Conference on Parallel Architectures and Compilation Techniques (PACT)","issn_l":"1089-795X","issn":["1089-795X","2641-7944"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"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":[],"study_designs":[],"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":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"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/W6631538995"],"related_works":["https://openalex.org/W7097774789","https://openalex.org/W4244322134","https://openalex.org/W7099863693","https://openalex.org/W2004633100","https://openalex.org/W2069602409","https://openalex.org/W4242860235","https://openalex.org/W3166407108","https://openalex.org/W7125936161","https://openalex.org/W7100256690","https://openalex.org/W4252037250"],"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":"2026-10-29T09:56:32.521200","created_date":"2022-01-26T00:00:00"}