{"id":"https://openalex.org/W1996970189","doi":"https://doi.org/10.1109/memcod.2012.6292306","title":"Interdependent cache analyses for better precision and safety","display_name":"Interdependent cache analyses for better precision and safety","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W1996970189","doi":"https://doi.org/10.1109/memcod.2012.6292306","mag":"1996970189"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2012.6292306","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2012.6292306","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)","raw_type":"proceedings-article"},"type":"article","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/A5046570178","display_name":"Kartik Nagar","orcid":"https://orcid.org/0000-0002-0679-226X"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Kartik Nagar","raw_affiliation_strings":["Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India","Dept of Computer Science & Automation, Indian Institute of Science, Bangalore, India#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India","institution_ids":["https://openalex.org/I59270414"]},{"raw_affiliation_string":"Dept of Computer Science & Automation, Indian Institute of Science, Bangalore, India#TAB#","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060267690","display_name":"Y. N. Srikant","orcid":null},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Y. N. Srikant","raw_affiliation_strings":["Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India","Dept of Computer Science & Automation, Indian Institute of Science, Bangalore, India#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India","institution_ids":["https://openalex.org/I59270414"]},{"raw_affiliation_string":"Dept of Computer Science & Automation, Indian Institute of Science, Bangalore, India#TAB#","institution_ids":["https://openalex.org/I59270414"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046570178"],"corresponding_institution_ids":["https://openalex.org/I59270414"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.07891169,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"99","last_page":"108"},"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.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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"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.8992331027984619},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.8733649253845215},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.7640336751937866},{"id":"https://openalex.org/keywords/cache-invalidation","display_name":"Cache invalidation","score":0.6781945824623108},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.6445540189743042},{"id":"https://openalex.org/keywords/cache-pollution","display_name":"Cache pollution","score":0.5852066874504089},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5705893039703369},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5670433640480042},{"id":"https://openalex.org/keywords/smart-cache","display_name":"Smart Cache","score":0.5502868890762329},{"id":"https://openalex.org/keywords/cache-coloring","display_name":"Cache coloring","score":0.5204784870147705},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.4546395540237427},{"id":"https://openalex.org/keywords/cache-oblivious-algorithm","display_name":"Cache-oblivious algorithm","score":0.4468008875846863},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4445876181125641},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.3740319013595581},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2657741904258728},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22278735041618347},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.22135084867477417},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14084509015083313}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8992331027984619},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.8733649253845215},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.7640336751937866},{"id":"https://openalex.org/C25536678","wikidata":"https://www.wikidata.org/wiki/Q5015977","display_name":"Cache invalidation","level":5,"score":0.6781945824623108},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.6445540189743042},{"id":"https://openalex.org/C113166858","wikidata":"https://www.wikidata.org/wiki/Q5015981","display_name":"Cache pollution","level":5,"score":0.5852066874504089},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5705893039703369},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5670433640480042},{"id":"https://openalex.org/C167713795","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"Smart Cache","level":5,"score":0.5502868890762329},{"id":"https://openalex.org/C201148951","wikidata":"https://www.wikidata.org/wiki/Q5015976","display_name":"Cache coloring","level":4,"score":0.5204784870147705},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.4546395540237427},{"id":"https://openalex.org/C59687516","wikidata":"https://www.wikidata.org/wiki/Q5015938","display_name":"Cache-oblivious algorithm","level":5,"score":0.4468008875846863},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4445876181125641},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.3740319013595581},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2657741904258728},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22278735041618347},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.22135084867477417},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14084509015083313}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/memcod.2012.6292306","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2012.6292306","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.iisc.ac.in:47720","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196309","display_name":"NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I59270414","host_organization_name":"Indian Institute of Science Bangalore","host_organization_lineage":["https://openalex.org/I59270414"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6800000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1482836859","https://openalex.org/W1595437973","https://openalex.org/W1874478398","https://openalex.org/W2043100293","https://openalex.org/W2098030406","https://openalex.org/W2110588681","https://openalex.org/W2132882851","https://openalex.org/W2138037080","https://openalex.org/W2147469315","https://openalex.org/W2149052625","https://openalex.org/W2170641010","https://openalex.org/W6628655826","https://openalex.org/W6639255384"],"related_works":["https://openalex.org/W2546991807","https://openalex.org/W2098406302","https://openalex.org/W2076114130","https://openalex.org/W2121191383","https://openalex.org/W2734782074","https://openalex.org/W2538519144","https://openalex.org/W1584415117","https://openalex.org/W1505654810","https://openalex.org/W1967490696","https://openalex.org/W2535115842"],"abstract_inverted_index":{"One":[0,42],"of":[1,11,39,43,72,121],"the":[2,27,36,44,57,65,107,119,145,157,170,174,182],"challenges":[3],"for":[4,192],"accurately":[5,15],"estimating":[6],"Worst":[7],"Case":[8],"Execution":[9],"Time(WCET)":[10],"executables":[12],"is":[13,49,80],"to":[14,25,34,61,91,101,105,155,162,173,186],"predict":[16,26],"their":[17],"cache":[18,28,58,73,110,160],"behavior.":[19],"Various":[20],"techniques":[21,48],"have":[22,88],"been":[23,89],"developed":[24],"contents":[29],"at":[30],"different":[31],"program":[32],"points":[33],"estimate":[35],"execution":[37],"time":[38],"memory-accessing":[40],"instructions.":[41],"most":[45],"widely":[46],"used":[47],"Abstract":[50],"Interpretation":[51],"based":[52],"Must":[53,78,86,108,132,151],"Analysis,":[54,148,185],"which":[55],"determines":[56],"blocks":[59],"guaranteed":[60],"be":[62],"present":[63],"in":[64,144,181],"cache,":[66],"and":[67,75,83,112,149,152,166],"hence":[68],"provides":[69,134],"safe":[70,165],"estimation":[71],"hits":[74],"misses.":[76],"However,":[77],"Analysis":[79,87,104,109,133,154,159],"highly":[81],"imprecise,":[82],"platforms":[84],"using":[85],"known":[90,171],"produce":[92],"blown-up":[93],"WCET":[94],"estimates.":[95],"In":[96],"our":[97,122,130],"work,":[98],"we":[99,138,177],"propose":[100,178],"use":[102,150],"May":[103,153,184],"assist":[106,156],"update":[111],"make":[113,163,187],"it":[114,164,188],"more":[115,167,189],"precise.":[116],"We":[117],"prove":[118],"safety":[120],"approach":[123],"as":[124,126],"well":[125],"provide":[127],"examples":[128],"where":[129],"Improved":[131],"better":[135],"precision.":[136],"Further,":[137],"also":[139],"detect":[140],"a":[141],"serious":[142],"flaw":[143],"original":[146,183],"Persistence":[147,158],"update,":[161],"precise":[168],"than":[169],"solutions":[172],"problem.":[175],"Finally,":[176],"an":[179],"improvement":[180],"precise,":[190],"especially":[191],"Data":[193],"Cache":[194],"Analysis.":[195]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}