{"id":"https://openalex.org/W3094325115","doi":"https://doi.org/10.1109/access.2020.3032145","title":"Automatic Safe Data Reuse Detection for the WCET Analysis of Systems With Data Caches","display_name":"Automatic Safe Data Reuse Detection for the WCET Analysis of Systems With Data Caches","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3094325115","doi":"https://doi.org/10.1109/access.2020.3032145","mag":"3094325115"},"language":"en","primary_location":{"id":"doi:10.1109/access.2020.3032145","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3032145","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09229458.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09229458.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037512826","display_name":"Juan Segarra","orcid":"https://orcid.org/0000-0003-1550-735X"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Juan Segarra","raw_affiliation_strings":["Universidad de Zaragoza, Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Universidad de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031451250","display_name":"Jordi Cortadella","orcid":"https://orcid.org/0000-0001-8114-250X"},"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":"Jordi Cortadella","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035870105","display_name":"Rub\u00e9n Gran Tejero","orcid":"https://orcid.org/0000-0002-4031-5651"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ruben Gran Tejero","raw_affiliation_strings":["Universidad de Zaragoza, Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Universidad de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050160407","display_name":"V\u00edctor Vi\u00f1als","orcid":"https://orcid.org/0000-0002-5976-1352"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Victor Vinals-Yufera","raw_affiliation_strings":["Universidad de Zaragoza, Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Universidad de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5037512826"],"corresponding_institution_ids":["https://openalex.org/I255234318"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.9369,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.73903166,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"8","issue":null,"first_page":"192379","last_page":"192392"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9988999962806702,"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.9980000257492065,"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/computer-science","display_name":"Computer science","score":0.9166982173919678},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.6811133623123169},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6374794244766235},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.6284764409065247},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5440863370895386},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5334226489067078},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.49691155552864075},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.44215822219848633},{"id":"https://openalex.org/keywords/data-access","display_name":"Data access","score":0.42986243963241577},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23703119158744812},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22109633684158325},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.15751829743385315}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9166982173919678},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.6811133623123169},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6374794244766235},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.6284764409065247},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5440863370895386},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5334226489067078},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.49691155552864075},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.44215822219848633},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.42986243963241577},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23703119158744812},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22109633684158325},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.15751829743385315},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/access.2020.3032145","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3032145","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09229458.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:zaguan.unizar.es:97243","is_oa":true,"landing_page_url":"http://zaguan.unizar.es/record/97243","pdf_url":"http://zaguan.unizar.es/record/97243","source":{"id":"https://openalex.org/S4306401812","display_name":"Zaguan (University of Zaragoza Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I255234318","host_organization_name":"Universidad de Zaragoza","host_organization_lineage":["https://openalex.org/I255234318"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:68ada3df74354463ade76464f7a179d6","is_oa":true,"landing_page_url":"https://doaj.org/article/68ada3df74354463ade76464f7a179d6","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 8, Pp 192379-192392 (2020)","raw_type":"article"},{"id":"pmh:oai:upcommons.upc.edu:2117/345260","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/345260","pdf_url":null,"source":{"id":"https://openalex.org/S4210207057","display_name":"QRU Quaderns de Recerca en Urbanisme","issn_l":"2014-9689","issn":["2014-9689","2385-6777"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310322448","host_organization_name":"Q71272178","host_organization_lineage":["https://openalex.org/P4310322448"],"host_organization_lineage_names":["Q71272178"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1109/access.2020.3032145","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3032145","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09229458.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5299999713897705,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1576437513","display_name":null,"funder_award_id":"TIN2016-76635-C2-1-R","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G2880418242","display_name":null,"funder_award_id":"FI-DGR 2015","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G3274112604","display_name":null,"funder_award_id":"PID2019-105660RB-C21","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G3931718580","display_name":null,"funder_award_id":"TIN2016-76635-C2-1-R","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G4050314531","display_name":null,"funder_award_id":"ERDF 2014-2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G4315011736","display_name":null,"funder_award_id":"TIN2016-76635-C2-1-R","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G453067482","display_name":null,"funder_award_id":"014-2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G4683214174","display_name":null,"funder_award_id":"2017 SGR 786","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G4747167137","display_name":null,"funder_award_id":"TIN2017-86727-C2-1-R","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G5152578567","display_name":null,"funder_award_id":"FI-DGR","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G5437826001","display_name":null,"funder_award_id":"2017 SGR 786","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5634946813","display_name":null,"funder_award_id":"2014-2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G6205359466","display_name":null,"funder_award_id":"PID2019-105660RB-C21","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G6403153277","display_name":null,"funder_award_id":"TIN2017-86727-C2-1-R","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G7425137858","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G7618394132","display_name":null,"funder_award_id":"T58_20R research group","funder_id":"https://openalex.org/F4320326208","funder_display_name":"Gobierno de Arag\u00f3n"},{"id":"https://openalex.org/G8570012161","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G8684520763","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8710115719","display_name":null,"funder_award_id":"PID2019-105660RB-C21","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8970473815","display_name":null,"funder_award_id":"2017 SGR","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"}],"funders":[{"id":"https://openalex.org/F4320321505","display_name":"Generalitat de Catalunya","ror":"https://ror.org/01bg62x04"},{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320326208","display_name":"Gobierno de Arag\u00f3n","ror":"https://ror.org/0425pg203"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3094325115.pdf","grobid_xml":"https://content.openalex.org/works/W3094325115.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W154408082","https://openalex.org/W1482275438","https://openalex.org/W1491178396","https://openalex.org/W1496153055","https://openalex.org/W1496310711","https://openalex.org/W1518247129","https://openalex.org/W1533929374","https://openalex.org/W1967022475","https://openalex.org/W1979470295","https://openalex.org/W1982802967","https://openalex.org/W2043100293","https://openalex.org/W2047444288","https://openalex.org/W2092264420","https://openalex.org/W2103820503","https://openalex.org/W2114800336","https://openalex.org/W2119609467","https://openalex.org/W2122540149","https://openalex.org/W2128205788","https://openalex.org/W2147469315","https://openalex.org/W2154346069","https://openalex.org/W2158116338","https://openalex.org/W2158737060","https://openalex.org/W2162222856","https://openalex.org/W2164459948","https://openalex.org/W2169943030","https://openalex.org/W2170641010","https://openalex.org/W2511362782","https://openalex.org/W2514974017","https://openalex.org/W2577141201","https://openalex.org/W2725094902","https://openalex.org/W2884243532","https://openalex.org/W2946363860","https://openalex.org/W3011081949","https://openalex.org/W3014555390","https://openalex.org/W4238321249","https://openalex.org/W4250613128","https://openalex.org/W6629325410","https://openalex.org/W6725655191","https://openalex.org/W6731783927","https://openalex.org/W6740348905"],"related_works":["https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842","https://openalex.org/W3146558274","https://openalex.org/W1172579163","https://openalex.org/W1488300410","https://openalex.org/W2138790427","https://openalex.org/W4246454774","https://openalex.org/W2162051035","https://openalex.org/W1597127505"],"abstract_inverted_index":{"Worst-case":[0],"execution":[1],"time":[2,207,237],"(WCET)":[3],"analysis":[4,53,89],"of":[5,12,25,78,84,112,132,168,176,231],"systems":[6],"with":[7],"data":[8,51,69,86,114,125,170,189,210,228],"caches":[9],"is":[10,128,216,238],"one":[11],"the":[13,21,33,72,79,85,95,109,118,166,180,206,213],"key":[14],"challenges":[15],"in":[16,35,212],"real-time":[17],"systems.":[18],"Caches":[19],"exploit":[20],"inherent":[22],"reuse":[23,70,160,204],"properties":[24],"programs,":[26],"temporarily":[27],"storing":[28],"certain":[29],"memory":[30,47,135],"contents":[31,42],"near":[32],"processor,":[34],"order":[36],"that":[37,131,185],"further":[38],"accesses":[39,211],"to":[40,98,117,130,137,149,209,218,221,226,240],"such":[41,236],"do":[43],"not":[44,164],"require":[45,165],"costly":[46],"transfers.":[48],"Current":[49],"worst-case":[50],"cache":[52,58],"methods":[54],"focus":[55],"on":[56,94,202],"specific":[57],"organizations":[59],"(LRU,":[60],"locked,":[61],"ACDC,":[62],"etc.).":[63],"In":[64],"this":[65],"article,":[66],"we":[67,178],"analyze":[68,179],"(in":[71],"worst":[73,214],"case)":[74],"as":[75],"a":[76,105,142,174,198,227],"property":[77],"program,":[80],"and":[81,152,158,162,191],"thus":[82],"independent":[83],"cache.":[87],"Our":[88,145],"method":[90],"uses":[91],"Abstract":[92],"Interpretation":[93],"compiled":[96],"program":[97],"extract,":[99],"for":[100,108],"each":[101],"static":[102],"load/store":[103],"instruction,":[104],"linear":[106],"expression":[107,127],"address":[110],"pattern":[111],"its":[113],"accesses,":[115,154],"according":[116],"Loop":[119],"Nest":[120],"Data":[121],"Reuse":[122],"Theory.":[123],"Each":[124],"access":[126,171],"compared":[129,220],"prior":[133],"(dominant)":[134],"instructions":[136],"verify":[138],"whether":[139],"it":[140],"presents":[141],"guaranteed":[143],"reuse.":[144],"proposal":[146],"manages":[147],"references":[148],"scalars,":[150],"arrays,":[151],"non-linear":[153],"provides":[155],"both":[156],"temporal":[157],"spatial":[159],"information,":[161],"does":[163],"exploration":[167],"explicit":[169],"sequences.":[172],"As":[173],"proof":[175],"concept":[177],"TACLeBench":[181],"benchmark":[182],"suite,":[183],"showing":[184],"most":[186],"loads/stores":[187],"present":[188],"reuse,":[190],"how":[192],"compiler":[193,234],"optimizations":[194],"affect":[195],"it.":[196],"Using":[197],"simple":[199],"hit/miss":[200],"estimation":[201],"our":[203],"results,":[205],"devoted":[208],"case":[215],"reduced":[217,239],"27%":[219],"an":[222],"always-miss":[223],"system,":[224],"equivalent":[225],"hit":[229],"ratio":[230],"81%.":[232],"With":[233],"optimization,":[235],"6.5%.":[241]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}