{"id":"https://openalex.org/W1764471770","doi":"https://doi.org/10.5821/dissertation-2117-93300","title":"Binary Redundancy Elimination","display_name":"Binary Redundancy Elimination","publication_year":2005,"publication_date":"2005-04-13","ids":{"openalex":"https://openalex.org/W1764471770","doi":"https://doi.org/10.5821/dissertation-2117-93300","mag":"1764471770"},"language":"es","primary_location":{"id":"doi:10.5821/dissertation-2117-93300","is_oa":true,"landing_page_url":"https://doi.org/10.5821/dissertation-2117-93300","pdf_url":"https://upcommons.upc.edu/bitstream/2117/93300/1/01Mfg01de01.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Catalunya","raw_type":"dissertation"},"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://upcommons.upc.edu/bitstream/2117/93300/1/01Mfg01de01.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111206116","display_name":"Manuel Fern\u00e1ndez G\u00f3mez","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Manuel Fern\u00e1ndez G\u00f3mez","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5111206116"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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.9998999834060669,"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.9998999834060669,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9961000084877014,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9939000010490417,"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/humanities","display_name":"Humanities","score":0.8183753490447998},{"id":"https://openalex.org/keywords/ven","display_name":"Ven","score":0.4405360221862793},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.4363764524459839},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.33652883768081665}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.8183753490447998},{"id":"https://openalex.org/C9583187","wikidata":"https://www.wikidata.org/wiki/Q7919510","display_name":"Ven","level":2,"score":0.4405360221862793},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.4363764524459839},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.33652883768081665}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5821/dissertation-2117-93300","is_oa":true,"landing_page_url":"https://doi.org/10.5821/dissertation-2117-93300","pdf_url":"https://upcommons.upc.edu/bitstream/2117/93300/1/01Mfg01de01.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Catalunya","raw_type":"dissertation"},{"id":"pmh:oai:upcommons.upc.edu:2117/93300","is_oa":false,"landing_page_url":"http://hdl.handle.net/10803/5985","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"TDX (Tesis Doctorals en Xarxa)","raw_type":"Doctoral thesis"},{"id":"pmh:oai:www.tdx.cat:10803/5985","is_oa":false,"landing_page_url":"http://www.tdx.cat/TDX-0627105-133749","pdf_url":null,"source":{"id":"https://openalex.org/S4306401111","display_name":"Tesis Doctorals en Xarxa (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"TDX (Tesis Doctorals en Xarxa)","raw_type":"info:eu-repo/semantics/doctoralThesis"}],"best_oa_location":{"id":"doi:10.5821/dissertation-2117-93300","is_oa":true,"landing_page_url":"https://doi.org/10.5821/dissertation-2117-93300","pdf_url":"https://upcommons.upc.edu/bitstream/2117/93300/1/01Mfg01de01.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Catalunya","raw_type":"dissertation"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2773299429","display_name":null,"funder_award_id":"TIC2001-0995-C02-01","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7413400768","display_name":null,"funder_award_id":"PN98 46057403-1","funder_id":"https://openalex.org/F4320323737","funder_display_name":"Ministerio de Ciencia y Tecnolog\u00eda"}],"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":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1764471770.pdf"},"referenced_works_count":193,"referenced_works":["https://openalex.org/W1627759","https://openalex.org/W14188531","https://openalex.org/W90084074","https://openalex.org/W105131483","https://openalex.org/W107253481","https://openalex.org/W150431575","https://openalex.org/W1491178396","https://openalex.org/W1516536978","https://openalex.org/W1524758670","https://openalex.org/W1534512767","https://openalex.org/W1541262581","https://openalex.org/W1541457918","https://openalex.org/W1550395583","https://openalex.org/W1553894716","https://openalex.org/W1555915743","https://openalex.org/W1557565165","https://openalex.org/W1564146033","https://openalex.org/W1587655883","https://openalex.org/W1587848117","https://openalex.org/W1604845379","https://openalex.org/W1823084595","https://openalex.org/W1838930658","https://openalex.org/W1866190373","https://openalex.org/W1947621832","https://openalex.org/W1964483599","https://openalex.org/W1967255782","https://openalex.org/W1969031936","https://openalex.org/W1969947998","https://openalex.org/W1977380916","https://openalex.org/W1977606188","https://openalex.org/W1978067744","https://openalex.org/W1979680516","https://openalex.org/W1980257390","https://openalex.org/W1982205631","https://openalex.org/W1983096721","https://openalex.org/W1983166063","https://openalex.org/W1988637082","https://openalex.org/W1989818743","https://openalex.org/W1990717911","https://openalex.org/W1991685764","https://openalex.org/W1991779584","https://openalex.org/W2002427499","https://openalex.org/W2003011196","https://openalex.org/W2004633100","https://openalex.org/W2004976090","https://openalex.org/W2006471246","https://openalex.org/W2008015263","https://openalex.org/W2011992756","https://openalex.org/W2013137740","https://openalex.org/W2014259743","https://openalex.org/W2015437853","https://openalex.org/W2019747336","https://openalex.org/W2023330569","https://openalex.org/W2025516544","https://openalex.org/W2030400507","https://openalex.org/W2031585755","https://openalex.org/W2035329159","https://openalex.org/W2036918610","https://openalex.org/W2040701288","https://openalex.org/W2042708654","https://openalex.org/W2042941769","https://openalex.org/W2043398903","https://openalex.org/W2045818721","https://openalex.org/W2049890071","https://openalex.org/W2057108708","https://openalex.org/W2059590831","https://openalex.org/W2060481237","https://openalex.org/W2061595191","https://openalex.org/W2061884904","https://openalex.org/W2063255488","https://openalex.org/W2068219251","https://openalex.org/W2072910724","https://openalex.org/W2074737297","https://openalex.org/W2076876078","https://openalex.org/W2078094206","https://openalex.org/W2079029390","https://openalex.org/W2084451631","https://openalex.org/W2087086761","https://openalex.org/W2087612811","https://openalex.org/W2089294198","https://openalex.org/W2095565544","https://openalex.org/W2096733429","https://openalex.org/W2097117297","https://openalex.org/W2098277586","https://openalex.org/W2102582914","https://openalex.org/W2102890180","https://openalex.org/W2103795748","https://openalex.org/W2103883583","https://openalex.org/W2104225326","https://openalex.org/W2105427843","https://openalex.org/W2106044306","https://openalex.org/W2106244281","https://openalex.org/W2106270437","https://openalex.org/W2107493680","https://openalex.org/W2107782879","https://openalex.org/W2113559897","https://openalex.org/W2114067856","https://openalex.org/W2114895220","https://openalex.org/W2115191364","https://openalex.org/W2117790850","https://openalex.org/W2118263004","https://openalex.org/W2118364813","https://openalex.org/W2120635877","https://openalex.org/W2121084586","https://openalex.org/W2122218867","https://openalex.org/W2122563027","https://openalex.org/W2123160336","https://openalex.org/W2124622108","https://openalex.org/W2125424217","https://openalex.org/W2129192659","https://openalex.org/W2130363691","https://openalex.org/W2130570838","https://openalex.org/W2134093679","https://openalex.org/W2135059813","https://openalex.org/W2135992106","https://openalex.org/W2140468016","https://openalex.org/W2141189134","https://openalex.org/W2145546531","https://openalex.org/W2151345470","https://openalex.org/W2151551151","https://openalex.org/W2153456949","https://openalex.org/W2155957569","https://openalex.org/W2159617380","https://openalex.org/W2161261909","https://openalex.org/W2161992906","https://openalex.org/W2162612712","https://openalex.org/W2163403936","https://openalex.org/W2164638440","https://openalex.org/W2165423885","https://openalex.org/W2169361939","https://openalex.org/W2185182732","https://openalex.org/W2913746085","https://openalex.org/W2914074464","https://openalex.org/W2992694935","https://openalex.org/W3004313105","https://openalex.org/W3032177099","https://openalex.org/W3118959428","https://openalex.org/W3140162682","https://openalex.org/W3172642724","https://openalex.org/W4206300973","https://openalex.org/W4213074737","https://openalex.org/W4230852977","https://openalex.org/W4231545996","https://openalex.org/W4231843889","https://openalex.org/W4231861021","https://openalex.org/W4231884267","https://openalex.org/W4231971748","https://openalex.org/W4232333333","https://openalex.org/W4232743688","https://openalex.org/W4233421720","https://openalex.org/W4233932103","https://openalex.org/W4234056496","https://openalex.org/W4234369945","https://openalex.org/W4234643798","https://openalex.org/W4236160450","https://openalex.org/W4236668560","https://openalex.org/W4237579948","https://openalex.org/W4237887173","https://openalex.org/W4237902203","https://openalex.org/W4238089251","https://openalex.org/W4238566657","https://openalex.org/W4238667844","https://openalex.org/W4239025062","https://openalex.org/W4241263734","https://openalex.org/W4242640264","https://openalex.org/W4242680074","https://openalex.org/W4242976792","https://openalex.org/W4243104579","https://openalex.org/W4243347286","https://openalex.org/W4243453813","https://openalex.org/W4245346368","https://openalex.org/W4245410964","https://openalex.org/W4246657831","https://openalex.org/W4247472589","https://openalex.org/W4248045917","https://openalex.org/W4248347908","https://openalex.org/W4249758101","https://openalex.org/W4250945092","https://openalex.org/W4250948891","https://openalex.org/W4251173184","https://openalex.org/W4251477416","https://openalex.org/W4251700126","https://openalex.org/W4252715035","https://openalex.org/W4253029824","https://openalex.org/W4253086129","https://openalex.org/W4253740569","https://openalex.org/W4254156924","https://openalex.org/W4254689530","https://openalex.org/W4255653477","https://openalex.org/W4299479309","https://openalex.org/W4316074605","https://openalex.org/W6680671755","https://openalex.org/W6697046872"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036"],"abstract_inverted_index":{"Dos":[0],"de":[1,4,11,16,19,22,25,37,53,58,66,79,90,96,103,106,124,129,140,164,180,194,210,231,251,286,288,295,298,310,321,323,329,340,349,351,354,364,375,379,386,398,404,410,415,427,429,435,440,442,454,464,483,485,501,504,521,530,533,536],"las":[2,17,23,31,135,303],"limitaciones":[3,91,159],"rendimiento":[5,311],"m\u00e1s":[6,221,304,516],"importantes":[7,305,463],"en":[8,13,72,82,93,138,153,161,261,319,346,366,383,395,421,448,452,461,492,509,518,524,540],"los":[9,35,73,84,111,154,308,380,514],"procesadores":[10],"hoy":[12],"d\u00eda":[14],"provienen":[15],"operaciones":[18,294],"memoria":[20,54,104,296,376,411,484],"y":[21,34,55,105,119,171,207,233,297],"dependencias":[24,409],"control.":[26],"Para":[27],"resolver":[28],"estos":[29,273],"problemas,":[30],"memorias":[32],"cache":[33,570],"predictores":[36],"salto":[38,107,299],"son":[39,302,476],"dos":[40,432],"alternativas":[41],"hardware":[42,577],"bien":[43],"conocidas":[44],"que":[45,83,110,301,312,334,457,473,489],"explotan,":[46],"entre":[47],"otros":[48],"factores,":[49],"el":[50,94,162,218,236,347,360,370,396,417,467],"reuso":[51],"temporal":[52,588],"la":[56,68,80,224,258,373,384,425,459,481,519,528,534],"correlaci\u00f3n":[57],"saltos.":[59],"En":[60],"otras":[61],"palabras,":[62],"estas":[63],"estructuras":[64],"tratan":[65],"explotar":[67],"redundancia":[69,76,259,269,289,324],"din\u00e1mica":[70],"existente":[71],"programas.":[74],"Esta":[75],"proviene":[77],"parcialmente":[78],"forma":[81],"programadores":[85],"escriben":[86],"c\u00f3digo,":[87],"pero":[88],"tambi\u00e9n":[89,358],"existentes":[92,160],"modelo":[95,163],"compilaci\u00f3n":[97,165,195,252],"tradicional,":[98],"lo":[99,456,488],"cual":[100,418],"introduce":[101],"instrucciones":[102],"innecesarias.":[108],"Pensamos":[109],"compiladores":[112,541],"deber\u00edan":[113],"ser":[114,122,393],"muy":[115],"agresivos":[116],"optimizando":[117],"programas,":[118],"por":[120,197,254,371],"tanto":[121,500],"capaces":[123,339],"eliminar":[125,257,293],"una":[126,150,185,342],"parte":[127,532],"importante":[128],"esta":[130,246],"redundancia.":[131],"<br/>Por":[132],"otro":[133],"lado,":[134],"optimizaciones":[136,423],"aplicadas":[137],"tiempo":[139,348,453],"enlace":[141],"o":[142],"directamente":[143],"al":[144,327,413],"programa":[145,183],"ejecutable":[146],"final":[147,238,677,765],"han":[148,506],"recibido":[149],"atenci\u00f3n":[151],"creciente":[152],"\u00faltimos":[155],"a\u00f1os,":[156],"debido":[157],"a":[158,204,264,659,716,769,806,866,882,941,949,1043],"tradicional.":[166],"Incluso":[167],"aplicando":[168,192,335],"sofisticados":[169],"an\u00e1lisis":[170,363,391,403,433,445,468,502],"transformaciones":[172],"interprocedurales,":[173],"un":[174,182,242,280,402,510],"compilador":[175,282],"tradicional":[176],"no":[177],"es":[178,377,419],"capaz":[179],"optimizar":[181,234],"como":[184,503],"entidad":[186],"completa.":[187],"Un":[188],"problema":[189],"similar":[190,719],"aparece":[191],"t\u00e9cnicas":[193,250,285,320],"dirigidas":[196,253],"profiling:":[198],"grandes":[199],"proyectos":[200],"se":[201,490],"ven":[202],"forzados":[203],"recompilar":[205,240],"todos":[206],"cada":[208],"uno":[209,378],"sus":[211],"m\u00f3dulos":[212],"para":[213,228,256,292,306,392,407,424,438,479,494],"aprovechar":[214],"dicha":[215],"informaci\u00f3n.":[216],"Por":[217],"contrario,":[219],"seria":[220],"conveniente":[222],"construir":[223],"aplicaci\u00f3n":[225],"completa,":[226],"instrumentarla":[227],"obtener":[229],"informaci\u00f3n":[230,450,535],"profiling":[232,255],"entonces":[235],"binario":[237,266],"sin":[239,527],"ni":[241],"solo":[243],"fichero":[244],"fuente.<br/>En":[245],"tesis":[247],"presentamos":[248],"nuevas":[249],"encontrada":[260],"programas":[262,274,367],"ejecutables":[263],"nivel":[265,538],"(esto":[267],"es,":[268],"binaria),":[270],"incluso":[271],"aunque":[272],"hayan":[275],"sido":[276,507],"compilados":[277],"agresivamente":[278],"con":[279],"nov\u00edsimo":[281],"comercial.":[283],"Nuestras":[284],"eliminaci\u00f3n":[287,322,426],"est\u00e1n":[290,317,446],"dise\u00f1adas":[291],"redundantes,":[300],"mitigar":[307],"problemas":[309,361,515],"hemos":[313],"mencionado.":[314],"Estas":[315],"propuestas":[316,475],"basadas":[318],"parcial":[325],"sensibles":[326,412],"camino":[328,414],"ejecuci\u00f3n.":[330],"Los":[331,470],"resultados":[332,471],"muestran":[333,472],"nuestras":[336,422,474],"optimizaciones,":[337],"somos":[338],"alcanzar":[341],"reducci\u00f3n":[343],"del":[344,362],"14%":[345,883],"ejecuci\u00f3n":[350],"nuestro":[352],"conjunto":[353],"programas.<br/>En":[355],"este":[356],"trabajo":[357],"revisamos":[359],"alias":[365,405,437,899,924,990],"ejecutables,":[368],"identificando":[369],"qu\u00e9":[372],"desambiguaci\u00f3n":[374,482],"puntos":[381],"d\u00e9biles":[382],"modificaci\u00f3n":[385],"c\u00f3digo":[387,465,486,525],"objeto.":[388],"Proponemos":[389],"varios":[390],"aplicados":[394],"contexto":[397],"optimizadores":[399],"binarios.":[400],"Primero":[401],"estricto":[406],"descubrir":[408],"ejecuci\u00f3n,":[416],"usado":[420],"redundancias":[428],"memoria.":[430,443],"<br/>Seguidamente,":[431],"especulativos":[434],"posibles":[436],"detecci\u00f3n":[439],"independencias":[441],"Estos":[444],"basados":[447],"introducir":[449],"especulativa":[451],"an\u00e1lisis,":[455],"incrementa":[458],"precisi\u00f3n":[460],"partes":[462],"manteniendo":[466],"eficiente.":[469],"altamente":[477],"\u00fatiles":[478],"incrementar":[480],"binario,":[487,512],"traduce":[491],"oportunidades":[493],"aplicar":[495],"optimizaciones.":[496],"<br/>Todos":[497],"nuestros":[498,522],"algoritmos,":[499],"optimizaci\u00f3n,":[505],"implementados":[508],"optimizador":[511],"enfatizando":[513],"relevantes":[517],"aplicaciones":[520],"algoritmos":[523],"ejecutable,":[526],"ayuda":[529],"gran":[531],"alto":[537],"presente":[539],"tradicionales.":[542],"Two":[543],"of":[544,627,662,740,898,912,916,932,995,1019,1049,1053,1067,1078],"the":[545,557,601,612,624,666,691,709,713,752,764,783,833,839,896,902,913,930,999,1034,1037,1050,1063,1072,1079],"most":[546,834,1048,1064,1077],"important":[547,835,993],"performance":[548,840],"limiters":[549],"in":[550,605,623,648,684,690,846,865,887,929,948,956,1083],"today's":[551,641,847],"processor":[552],"families":[553],"comes":[554,609],"from":[555,611,621],"solving":[556],"memory":[558,589,633,825,908,946,962,974,1016],"wall":[559],"and":[560,572,591,634,651,702,761,827,1036],"handling":[561],"control":[562],"dependencies.":[563],"In":[564,594,811],"order":[565],"to":[566,599,657,676,688,711,732,737,750,757,880,926,944,972,1010],"address":[567],"these":[568,797],"issues,":[569],"memories":[571],"branch":[573,592,636],"predictors":[574],"are":[575,819,832,852,878,979],"well-known":[576],"proposals":[578,851],"that":[579,614,640,842,1006],"take":[580,738],"advantage":[581,739],"of,":[582],"among":[583],"other":[584,595,667],"things,":[585],"exploiting":[586],"both":[587,823,1032],"reuse":[590],"correlation.":[593],"words,":[596],"they":[597,653],"try":[598],"exploit":[600],"dynamic":[602],"redundancy":[603,608,664,784],"existing":[604,1051],"programs.":[606],"This":[607],"partly":[610],"way":[613],"programmers":[615],"write":[616],"source":[617,735,771],"code,":[618,1021],"but":[619],"also":[620,894,1060],"limitations":[622,689,1052],"compilation":[625,693,725],"model":[626],"traditional":[628,692,704,1054,1084],"compilers,":[629],"which":[630,831,953,988,1022,1046],"introduces":[631],"unnecessary":[632],"conditional":[635,829],"instructions.":[637],"We":[638,920],"believe":[639],"optimizing":[642,649],"compilers":[643,705,1085],"should":[644,654],"be":[645,655,730,747,927,1011],"very":[646,1012],"aggressive":[647],"programs,":[650],"then":[652,762,921],"expected":[656],"optimize":[658,712],"significant":[660],"part":[661],"this":[663,773,891],"away.<br/>On":[665],"hand,":[668],"optimizations":[669,780,804],"performed":[670],"at":[671,789,821,901,985,1071],"link-time":[672],"or":[673,934],"directly":[674],"applied":[675,928],"program":[678,714,904],"executables":[679],"have":[680,708,799,1039],"received":[681],"increased":[682],"attention":[683],"recent":[685],"years,":[686],"due":[687],"model.":[694],"First,":[695,938],"even":[696,795],"though":[697,796],"performing":[698],"sophisticated":[699],"interprocedural":[700],"analyses":[701,925,978,1008,1035],"transformations,":[703],"do":[706],"not":[707],"opportunity":[710],"as":[715],"whole.":[717],"A":[718],"problem":[720,897],"arises":[721],"when":[722],"applying":[723,874,1028,1068],"profile-directe":[724],"techniques:":[726],"large":[727],"projects":[728],"will":[729],"forced":[731],"re-build":[733],"every":[734],"file":[736],"profile":[741,759],"information.":[742],"By":[743],"contrast,":[744],"it":[745,756],"would":[746],"more":[748],"convenient":[749],"build":[751],"full":[753,803],"application,":[754],"instrument":[755],"obtain":[758],"data":[760],"re-optimize":[763],"binary":[766,790,793,1020,1044],"without":[767],"recompiling":[768],"single":[770],"file.<br/>In":[772],"thesis":[774],"we":[775,843,877,893,939,965],"present":[776,940],"new":[777,850],"profile-guided":[778],"compiler":[779],"for":[781,837,861,959,1014,1027,1033],"eliminating":[782,822,862,960],"encountered":[785],"on":[786,855,981,992],"executable":[787,903,935,1073],"programs":[788,798],"level":[791],"(i.e.:":[792],"redundancy),":[794],"been":[800,1040],"compiled":[801],"with":[802],"using":[805],"state-ofthe-":[807],"art":[808],"commercial":[809],"compiler.":[810],"particular,":[812],"our":[813,875,888,957,1007,1030,1058,1069],"Binary":[814],"Redundancy":[815,857],"Elimination":[816,858],"(BRE)":[817],"techniques":[818,860],"targeted":[820],"redundant":[824,828,961],"operations":[826],"branches,":[830],"ones":[836],"addressing":[838],"issues":[841,1066],"mentioned":[844],"above":[845],"microprocessors.":[848],"These":[849,976],"mainly":[853],"based":[854,980],"Partial":[856],"(PRE)":[859],"partial":[863],"redundancies":[864],"path-sensitive":[867],"fashion.":[868],"Our":[869,1003],"results":[870,1004],"show":[871,1005],"that,":[872],"by":[873],"optimizations,":[876,1038],"able":[879],"achieve":[881],"execution":[884],"time":[885],"reduction":[886],"benchmark":[889],"suite.<br/>In":[890],"work":[892,1059],"review":[895],"analysis":[900,943,986,1000],"level,":[905,1075],"identifying":[906],"why":[907],"disambiguation":[909,1017],"is":[910,954,1086],"one":[911],"weak":[914],"points":[915,1061],"object":[917],"code":[918,936,996,1074],"modification.":[919],"propose":[922,966],"several":[923],"context":[931],"linktime":[933],"optimizers.":[937],"must-alias":[942],"recognize":[945,973],"dependencies":[947],"path-":[950],"sensitive":[951],"fashion,":[952],"used":[955],"optimization":[958],"operations.":[963],"Next,":[964],"two":[967],"speculative":[968],"may-alias":[969,977],"data-flow":[970],"algorithms":[971,1070],"independencies.":[975],"introducing":[982],"unsafe":[983],"speculation":[984],"time,":[987],"increases":[989],"precision":[991],"portions":[994],"while":[997],"keeping":[998],"reasonably":[1001],"cost-efficient.":[1002],"prove":[1009],"useful":[1013],"increasing":[1015],"accuracy":[1018],"turns":[1023],"out":[1024,1062],"into":[1025],"opportunities":[1026],"optimizations.<br/>All":[1029],"algorithms,":[1031],"implemented":[1041],"within":[1042],"optimizer,":[1045],"overcomes":[1047],"source-code":[1055],"compilers.":[1056],"Therefore,":[1057],"relevant":[1065],"since":[1076],"high-level":[1080],"information":[1081],"available":[1082],"lost.":[1087]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2016-06-24T00:00:00"}