{"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","doi":"https://doi.org/10.1109/memcod.2012.6292306","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2012.6292306","pdf_url":null,"source":{"id":"https://openalex.org/S7407088487","display_name":"ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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"},"volume":null,"type":"conference-paper","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","observed_orcids":["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":false,"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#"],"raw_orcid":null,"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,"observed_orcids":[]},"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#"],"raw_orcid":null,"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":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I59270414"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.07480551,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"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.7914999723434448,"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.7914999723434448,"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.093299999833107,"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.04839999973773956,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"worst-case execution time","score":0.9440000057220459},{"id":"https://openalex.org/keywords/cache-analysis","display_name":"cache analysis","score":0.7730000019073486},{"id":"https://openalex.org/keywords/persistence-analysis","display_name":"persistence analysis","score":0.9470000267028809},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.9049999713897705},{"id":"https://openalex.org/keywords/data-cache","display_name":"data cache","score":0.5759999752044678}],"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","doi":"https://doi.org/10.1109/memcod.2012.6292306","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2012.6292306","pdf_url":null,"source":{"id":"https://openalex.org/S7407088487","display_name":"ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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","doi":null,"is_oa":false,"landing_page_url":"http://eprints.iisc.ac.in/47720/1/For_Meth_Mode_Code_1_2012.pdf","pdf_url":"http://eprints.iisc.ac.in/47720/1/For_Meth_Mode_Code_1_2012.pdf","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,"listed_in":[],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"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"],"related_works":["https://openalex.org/W2110588681","https://openalex.org/W2088917683","https://openalex.org/W2613442617","https://openalex.org/W7096243840","https://openalex.org/W2170641010","https://openalex.org/W2163202742","https://openalex.org/W2046003643","https://openalex.org/W7099874310","https://openalex.org/W2765606046","https://openalex.org/W7163911931"],"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":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}