{"id":"https://openalex.org/W2105157994","doi":"https://doi.org/10.1016/s1571-0661(04)80584-x","title":"Translation and Run-Time Validation of Optimized Code","display_name":"Translation and Run-Time Validation of Optimized Code","publication_year":2002,"publication_date":"2002-12-01","ids":{"openalex":"https://openalex.org/W2105157994","doi":"https://doi.org/10.1016/s1571-0661(04)80584-x","mag":"2105157994"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80584-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80584-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80584-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076189272","display_name":"Lenore D. Zuck","orcid":"https://orcid.org/0000-0003-3613-1208"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Lenore Zuck","raw_affiliation_strings":["Department of Computer Science, New York University, USA","Dept. of Computer Science, New York University, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New York University, USA","institution_ids":["https://openalex.org/I57206974"]},{"raw_affiliation_string":"Dept. of Computer Science, New York University, USA#TAB#","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109219790","display_name":"Amir Pnueli","orcid":null},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Amir Pnueli","raw_affiliation_strings":["Department of Computer Science, Weizmann Institute of Science, Israel","Weizmann Institute of Science"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Weizmann Institute of Science, Israel","institution_ids":["https://openalex.org/I53964585"]},{"raw_affiliation_string":"Weizmann Institute of Science","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083935587","display_name":"Yi Fang","orcid":"https://orcid.org/0000-0001-9427-3883"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yi Fang","raw_affiliation_strings":["Department of Computer Science, New York University, USA","New York University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New York University, USA","institution_ids":["https://openalex.org/I57206974"]},{"raw_affiliation_string":"New York University","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046367201","display_name":"Benjamin Goldberg","orcid":"https://orcid.org/0009-0008-5879-0697"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Benjamin Goldberg","raw_affiliation_strings":["Department of Computer Science, New York University, USA","New York University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New York University, USA","institution_ids":["https://openalex.org/I57206974"]},{"raw_affiliation_string":"New York University","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011333821","display_name":"Ying Hu","orcid":"https://orcid.org/0000-0002-0969-0381"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ying Hu","raw_affiliation_strings":["Department of Computer Science, New York University, USA","New York University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New York University, USA","institution_ids":["https://openalex.org/I57206974"]},{"raw_affiliation_string":"New York University","institution_ids":["https://openalex.org/I57206974"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5046367201","https://openalex.org/A5076189272","https://openalex.org/A5083935587","https://openalex.org/A5109219790"],"corresponding_institution_ids":["https://openalex.org/I53964585","https://openalex.org/I57206974"],"apc_list":null,"apc_paid":null,"fwci":3.8353,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.93789058,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"70","issue":"4","first_page":"179","last_page":"200"},"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.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8780397176742554},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7688818573951721},{"id":"https://openalex.org/keywords/loop-optimization","display_name":"Loop optimization","score":0.6496074795722961},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6232530474662781},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5395621061325073},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.5283019542694092},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5148281455039978},{"id":"https://openalex.org/keywords/dead-code-elimination","display_name":"Dead code elimination","score":0.49488967657089233},{"id":"https://openalex.org/keywords/loop-unrolling","display_name":"Loop unrolling","score":0.48914459347724915},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48465782403945923},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4614142179489136},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.38209348917007446},{"id":"https://openalex.org/keywords/object-code","display_name":"Object code","score":0.18913859128952026},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.11260026693344116},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10508567094802856}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8780397176742554},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7688818573951721},{"id":"https://openalex.org/C29331672","wikidata":"https://www.wikidata.org/wiki/Q3354468","display_name":"Loop optimization","level":4,"score":0.6496074795722961},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6232530474662781},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5395621061325073},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5283019542694092},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5148281455039978},{"id":"https://openalex.org/C2144512","wikidata":"https://www.wikidata.org/wiki/Q1143090","display_name":"Dead code elimination","level":5,"score":0.49488967657089233},{"id":"https://openalex.org/C76970557","wikidata":"https://www.wikidata.org/wiki/Q1869750","display_name":"Loop unrolling","level":3,"score":0.48914459347724915},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48465782403945923},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4614142179489136},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.38209348917007446},{"id":"https://openalex.org/C154526789","wikidata":"https://www.wikidata.org/wiki/Q157965","display_name":"Object code","level":4,"score":0.18913859128952026},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.11260026693344116},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10508567094802856}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s1571-0661(04)80584-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80584-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.4.1395","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.1395","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.diku.dk/publikationer/tekniske.rapporter/2002/02-14/02-14.12.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80584-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80584-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1500117749","https://openalex.org/W1572729891","https://openalex.org/W1575176197","https://openalex.org/W1596995840","https://openalex.org/W2034711041","https://openalex.org/W2040856861","https://openalex.org/W2051632385","https://openalex.org/W2069300761","https://openalex.org/W2110347987","https://openalex.org/W2129664123","https://openalex.org/W2911450990","https://openalex.org/W4238309028","https://openalex.org/W4250310298","https://openalex.org/W4251912342","https://openalex.org/W6634395375","https://openalex.org/W6758773630"],"related_works":["https://openalex.org/W3169195854","https://openalex.org/W1498734356","https://openalex.org/W2010414531","https://openalex.org/W2133860611","https://openalex.org/W2889110163","https://openalex.org/W2164503864","https://openalex.org/W2132832499","https://openalex.org/W3140187916","https://openalex.org/W2172096703","https://openalex.org/W4242404469"],"abstract_inverted_index":{"The":[0,10],"paper":[1,188],"presents":[2],"approaches":[3],"to":[4,20,75,176,181,204,266,280],"the":[5,22,35,37,50,57,66,72,81,85,127,131,154,159,165,168,173,177,187,206,213,220,231,245,250,254],"validation":[6,41,44,76,194,227],"of":[7,39,49,65,77,84,95,130,148,167,195,208,233,247],"optimizing":[8],"compilers.":[9],"emphasis":[11],"is":[12,61],"on":[13,192],"aggressive":[14,122],"and":[15,93,97,111,137,141,275,278],"architecture-targeted":[16],"optimizations":[17,78,123,210],"which":[18,79,116,151,211],"try":[19],"obtain":[21],"highest":[23],"performance":[24],"from":[25,249],"modern":[26],"architectures,":[27],"in":[28,92,179],"particular":[29],"EPIC-like":[30],"micro-processors.":[31],"Rather":[32],"than":[33],"verify":[34],"compiler,":[36,51],"approach":[38,74],"translation":[40],"performs":[42],"a":[43,53,62,103,113,146],"check":[45],"after":[46],"every":[47],"run":[48],"producing":[52,257],"formal":[54],"proof":[55],"that":[56,153,199],"produced":[58],"target":[59],"code":[60,86,91,156],"correct":[63],"implementation":[64],"source":[67],"code.":[68],"First":[69],"we":[70,144],"survey":[71],"standard":[73],"preserve":[80],"loop":[82,128,135,139,142,197,209,268,271,273],"structure":[83,129],"(though":[87],"they":[88],"may":[89],"move":[90],"out":[94],"loops":[96],"radically":[98],"modify":[99],"individual":[100],"statements),":[101],"present":[102,145],"simulation-based":[104],"general":[105],"technique":[106,262],"for":[107,164],"validating":[108],"such":[109,133],"optimizations,":[110,198,269],"describe":[112,172],"tool,":[114],"VOC-64,":[115],"implements":[117],"these":[118,183],"technique.":[119],"For":[120],"more":[121],"which,":[124],"typically,":[125],"alter":[126],"code,":[132,241],"as":[134],"distribution":[136],"fusion,":[138],"tiling,":[140,274],"interchanges,":[143],"set":[147],"permutation":[149],"rules":[150],"establish":[152],"transformed":[155],"satisfies":[157],"all":[158],"implied":[160],"data":[161],"dependencies":[162],"necessary":[163,174],"validity":[166],"considered":[169],"transformation.":[170],"We":[171],"extensions":[175],"VOC-64":[178],"order":[180],"validate":[182],"structure-modifying":[184],"optimizations.":[185],"Finally,":[186],"discusses":[189],"preliminary":[190],"work":[191],"run-time":[193,202,226],"speculative":[196],"involves":[200],"using":[201],"tests":[203],"ensure":[205],"correctness":[207,221],"neither":[212],"compiler":[214,224],"nor":[215],"compiler-validation":[216],"techniques":[217],"can":[218],"guarantee":[219],"of.":[222],"Unlike":[223],"validation,":[225],"has":[228,238,244,263],"not":[229],"only":[230],"task":[232,246],"determining":[234],"when":[235],"an":[236,258],"optimization":[237,251],"generated":[239],"incorrect":[240,259],"but":[242],"also":[243],"recovering":[248],"without":[252],"aborting":[253],"program":[255],"or":[256],"result.":[260],"This":[261],"been":[264],"applied":[265],"several":[267],"including":[270],"interchange,":[272],"software":[276],"pipelining":[277],"appears":[279],"be":[281],"quite":[282],"promising.":[283]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}