{"id":"https://openalex.org/W2011232670","doi":"https://doi.org/10.1145/1132462.1132466","title":"Recovery code generation for general speculative optimizations","display_name":"Recovery code generation for general speculative optimizations","publication_year":2006,"publication_date":"2006-03-01","ids":{"openalex":"https://openalex.org/W2011232670","doi":"https://doi.org/10.1145/1132462.1132466","mag":"2011232670"},"language":"en","primary_location":{"id":"doi:10.1145/1132462.1132466","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1132462.1132466","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1132462.1132466","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1132462.1132466","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000282384","display_name":"Jin Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jin Lin","raw_affiliation_strings":["University of Minnesota, MN","University of Minnesota, MN,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Minnesota, MN","institution_ids":["https://openalex.org/I130238516"]},{"raw_affiliation_string":"University of Minnesota, MN,","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017207899","display_name":"Wei\u2010Chung Hsu","orcid":"https://orcid.org/0000-0002-0833-7981"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wei-Chung Hsu","raw_affiliation_strings":["University of Minnesota, MN","University of Minnesota, MN,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Minnesota, MN","institution_ids":["https://openalex.org/I130238516"]},{"raw_affiliation_string":"University of Minnesota, MN,","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052005800","display_name":"Pen-Chung Yew","orcid":"https://orcid.org/0000-0001-9653-8777"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pen-Chung Yew","raw_affiliation_strings":["University of Minnesota, MN","University of Minnesota, MN,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Minnesota, MN","institution_ids":["https://openalex.org/I130238516"]},{"raw_affiliation_string":"University of Minnesota, MN,","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113596524","display_name":"Roy Dz-Ching Ju","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Roy Dz-Ching Ju","raw_affiliation_strings":["Intel Corporation, Santa, CA","Intel Corporation, Santa, CA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Corporation, Santa, CA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Intel Corporation, Santa, CA#TAB#","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013973515","display_name":"Tin\u2010Fook Ngai","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tin-Fook Ngai","raw_affiliation_strings":["Intel Corporation, Santa, CA","Intel Corporation, Santa, CA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Corporation, Santa, CA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Intel Corporation, Santa, CA#TAB#","institution_ids":["https://openalex.org/I1343180700"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5616,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.64557224,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"1","first_page":"67","last_page":"89"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"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/T11424","display_name":"Security and Verification in Computing","score":0.9976000189781189,"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/computer-science","display_name":"Computer science","score":0.8967177271842957},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6965881586074829},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6469343304634094},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.5921846628189087},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5827644467353821},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.5484018921852112},{"id":"https://openalex.org/keywords/speculative-execution","display_name":"Speculative execution","score":0.5020272731781006},{"id":"https://openalex.org/keywords/alias","display_name":"Alias","score":0.4973786175251007},{"id":"https://openalex.org/keywords/dead-code-elimination","display_name":"Dead code elimination","score":0.4964357018470764},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4784450829029083},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45414304733276367},{"id":"https://openalex.org/keywords/speculative-multithreading","display_name":"Speculative multithreading","score":0.41323572397232056},{"id":"https://openalex.org/keywords/profiling","display_name":"Profiling (computer programming)","score":0.4124559760093689},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.31362462043762207},{"id":"https://openalex.org/keywords/object-code","display_name":"Object code","score":0.14764216542243958},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.13401192426681519}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8967177271842957},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6965881586074829},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6469343304634094},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5921846628189087},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5827644467353821},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.5484018921852112},{"id":"https://openalex.org/C141331961","wikidata":"https://www.wikidata.org/wiki/Q2164465","display_name":"Speculative execution","level":2,"score":0.5020272731781006},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.4973786175251007},{"id":"https://openalex.org/C2144512","wikidata":"https://www.wikidata.org/wiki/Q1143090","display_name":"Dead code elimination","level":5,"score":0.4964357018470764},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4784450829029083},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45414304733276367},{"id":"https://openalex.org/C15296174","wikidata":"https://www.wikidata.org/wiki/Q7575343","display_name":"Speculative multithreading","level":4,"score":0.41323572397232056},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.4124559760093689},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.31362462043762207},{"id":"https://openalex.org/C154526789","wikidata":"https://www.wikidata.org/wiki/Q157965","display_name":"Object code","level":4,"score":0.14764216542243958},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.13401192426681519},{"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/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1132462.1132466","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1132462.1132466","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1132462.1132466","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/1132462.1132466","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1132462.1132466","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1132462.1132466","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2108799789","display_name":"CISE Experimental Partnerships:  Prototyping the Superthreaded Architecture","funder_award_id":"9971666","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4954983090","display_name":"ITR:   DREAM -- Dynamic Re-optimization for Application Migration","funder_award_id":"0220021","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6047635900","display_name":"ADORE -- A Framework for Adaptive Object Code Re-optimization","funder_award_id":"0105574","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2011232670.pdf","grobid_xml":"https://content.openalex.org/works/W2011232670.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W14611369","https://openalex.org/W935859280","https://openalex.org/W1515772642","https://openalex.org/W1550371161","https://openalex.org/W1559984336","https://openalex.org/W1727650458","https://openalex.org/W1982205631","https://openalex.org/W1985463181","https://openalex.org/W1989818743","https://openalex.org/W2000722076","https://openalex.org/W2002427499","https://openalex.org/W2025317174","https://openalex.org/W2072910724","https://openalex.org/W2075651377","https://openalex.org/W2103883583","https://openalex.org/W2115971347","https://openalex.org/W2122787472","https://openalex.org/W2124622108","https://openalex.org/W2143241834","https://openalex.org/W2143602127","https://openalex.org/W2150171691","https://openalex.org/W2160557488","https://openalex.org/W2161656935","https://openalex.org/W2805366091","https://openalex.org/W2911485256","https://openalex.org/W4241603623","https://openalex.org/W4247445868"],"related_works":["https://openalex.org/W2069811640","https://openalex.org/W1814870153","https://openalex.org/W2091716239","https://openalex.org/W2374073571","https://openalex.org/W4242404469","https://openalex.org/W1608659702","https://openalex.org/W3154510052","https://openalex.org/W1987719170","https://openalex.org/W2161656935","https://openalex.org/W2011232670"],"abstract_inverted_index":{"A":[0],"general":[1,120],"framework":[2,105,171],"that":[3,70,106],"integrates":[4],"both":[5],"control":[6],"and":[7,32,49,55,115,127,155,175],"data":[8],"speculation":[9,40,151],"using":[10],"alias":[11],"profiling":[12],"and/or":[13],"compiler":[14,135],"heuristic":[15],"rules":[16],"has":[17,172],"shown":[18],"to":[19,35,45,61,111,138,159],"improve":[20],"CPU2000":[21],"performance":[22,99],"on":[23],"Itanium":[24],"systems.":[25],"However,":[26],"speculative":[27,121,125],"optimizations":[28],"require":[29],"check":[30,47,113],"instructions":[31,48,114,126],"recovery":[33,52,72,116,129,168],"code":[34,53,73,117,130,169],"ensure":[36],"correct":[37],"execution":[38],"when":[39],"fails":[41],"at":[42],"runtime.":[43],"How":[44],"generate":[46],"their":[50,128],"associated":[51],"efficiently":[54],"effectively":[56,141],"is":[57,66],"an":[58,108],"issue":[59],"yet":[60],"be":[62,139,160],"well":[63],"studied.":[64],"It":[65,123,147],"also,":[67],"very":[68,88],"important":[69],"the":[71,76,82,87,133,143,178],"generated":[74,131],"in":[75,81,132,177],"earlier":[77],"phases":[78,137],"integrate":[79],"gracefully":[80],"later":[83,94],"optimization":[84,136,145],"phases.":[85,146],"At":[86],"least,":[89],"it":[90],"should":[91],"not":[92],"hinder":[93],"optimizations,":[95],"thus,":[96],"ensuring":[97],"overall":[98],"improvement.":[100],"This":[101],"paper":[102],"proposes":[103],"a":[104],"uses":[107],"if-block":[109],"structure":[110],"facilitate":[112],"generation":[118,170],"for":[119,152],"optimizations.":[122],"allows":[124,149],"early":[134],"integrated":[140],"with":[142,162],"subsequent":[144],"also":[148],"multilevel":[150,153,156],"pointers":[154],"expression":[157],"trees":[158],"handled":[161],"no":[163],"additional":[164],"complexity.":[165],"The":[166],"proposed":[167],"been":[173],"implemented":[174],"evaluated":[176],"Open":[179],"Research":[180],"Compiler":[181],"(ORC).":[182]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}