{"id":"https://openalex.org/W2075201692","doi":"https://doi.org/10.1109/hpca.2014.6835949","title":"PVCoherence: Designing flat coherence protocols for scalable verification","display_name":"PVCoherence: Designing flat coherence protocols for scalable verification","publication_year":2014,"publication_date":"2014-02-01","ids":{"openalex":"https://openalex.org/W2075201692","doi":"https://doi.org/10.1109/hpca.2014.6835949","mag":"2075201692"},"language":"en","primary_location":{"id":"doi:10.1109/hpca.2014.6835949","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca.2014.6835949","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA)","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/A5100437761","display_name":"Meng Zhang","orcid":"https://orcid.org/0000-0002-6992-3722"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Meng Zhang","raw_affiliation_strings":["Department of ECE, Duke University","[Department of ECE, Duke University, USA]"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Duke University","institution_ids":["https://openalex.org/I170897317"]},{"raw_affiliation_string":"[Department of ECE, Duke University, USA]","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067218159","display_name":"Jesse Bingham","orcid":"https://orcid.org/0000-0001-7015-0440"},"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"]},{"id":"https://openalex.org/I4210158342","display_name":"Intel (United Kingdom)","ror":"https://ror.org/058cxws58","country_code":"GB","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210158342"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Jesse D. Bingham","raw_affiliation_strings":["Intel Corporation","Intel Corp., USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Intel Corporation","institution_ids":["https://openalex.org/I4210158342"]},{"raw_affiliation_string":"Intel Corp., USA#TAB#","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038396014","display_name":"John Erickson","orcid":"https://orcid.org/0000-0002-6212-5277"},"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"]},{"id":"https://openalex.org/I4210158342","display_name":"Intel (United Kingdom)","ror":"https://ror.org/058cxws58","country_code":"GB","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210158342"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"John Erickson","raw_affiliation_strings":["Intel Corporation","Intel Corp., USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Intel Corporation","institution_ids":["https://openalex.org/I4210158342"]},{"raw_affiliation_string":"Intel Corp., USA#TAB#","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072847774","display_name":"Daniel J. Sorin","orcid":"https://orcid.org/0000-0001-7013-8986"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel J. Sorin","raw_affiliation_strings":["Department of ECE, Duke University","[Department of ECE, Duke University, USA]"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Duke University","institution_ids":["https://openalex.org/I170897317"]},{"raw_affiliation_string":"[Department of ECE, Duke University, USA]","institution_ids":["https://openalex.org/I170897317"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100437761"],"corresponding_institution_ids":["https://openalex.org/I170897317"],"apc_list":null,"apc_paid":null,"fwci":3.768,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.93997914,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"2144","issue":null,"first_page":"392","last_page":"403"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10472","display_name":"Semiconductor materials and devices","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.8927775621414185},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8330091238021851},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7347357273101807},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5986124277114868},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.5726621150970459},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5654951333999634},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.45262476801872253},{"id":"https://openalex.org/keywords/mesi-protocol","display_name":"MESI protocol","score":0.4384484589099884},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.4099723994731903},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3702870011329651},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3386550843715668},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.3379030227661133},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.33722442388534546},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.17260316014289856},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.14461171627044678},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08762815594673157},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.07995223999023438}],"concepts":[{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.8927775621414185},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8330091238021851},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7347357273101807},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5986124277114868},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.5726621150970459},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5654951333999634},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.45262476801872253},{"id":"https://openalex.org/C120936851","wikidata":"https://www.wikidata.org/wiki/Q1408065","display_name":"MESI protocol","level":5,"score":0.4384484589099884},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.4099723994731903},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3702870011329651},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3386550843715668},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.3379030227661133},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.33722442388534546},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.17260316014289856},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.14461171627044678},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08762815594673157},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.07995223999023438},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hpca.2014.6835949","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca.2014.6835949","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.75,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W153567890","https://openalex.org/W1496710542","https://openalex.org/W1518122051","https://openalex.org/W1532374416","https://openalex.org/W1547100201","https://openalex.org/W1602113634","https://openalex.org/W1879996931","https://openalex.org/W1972065960","https://openalex.org/W1973584139","https://openalex.org/W1987208088","https://openalex.org/W2018546523","https://openalex.org/W2046996113","https://openalex.org/W2067155801","https://openalex.org/W2109556989","https://openalex.org/W2114995630","https://openalex.org/W2116989825","https://openalex.org/W2130241694","https://openalex.org/W2141386638","https://openalex.org/W2142002613","https://openalex.org/W2147269402","https://openalex.org/W2147657366","https://openalex.org/W2148392844","https://openalex.org/W2152446754","https://openalex.org/W2152450729","https://openalex.org/W2163947040","https://openalex.org/W2166423938","https://openalex.org/W2169680334","https://openalex.org/W2169875292","https://openalex.org/W2467941640","https://openalex.org/W4236466223","https://openalex.org/W4243577185","https://openalex.org/W4285719527","https://openalex.org/W4312364354","https://openalex.org/W6629746293","https://openalex.org/W6676703575"],"related_works":["https://openalex.org/W2290195868","https://openalex.org/W4285204597","https://openalex.org/W3193874149","https://openalex.org/W2139534474","https://openalex.org/W2013212244","https://openalex.org/W2002047509","https://openalex.org/W2107914397","https://openalex.org/W2352722396","https://openalex.org/W3026856133","https://openalex.org/W2047210963"],"abstract_inverted_index":{"The":[0],"goal":[1],"of":[2,71],"this":[3],"work":[4],"is":[5],"to":[6,55,78],"design":[7,46,56],"cache":[8],"coherence":[9,30],"protocols":[10,57],"with":[11,18,75,87],"many":[12],"cores":[13],"that":[14,48,58,83],"can":[15,59],"be":[16,60,85],"verified":[17,74,86],"state-of-the-art":[19],"automated":[20],"verification":[21,41],"methodologies.":[22],"In":[23],"particular,":[24],"we":[25,33],"focus":[26],"on":[27,39],"flat":[28],"(non-hierarchical)":[29],"protocols,":[31],"and":[32,69],"use":[34],"a":[35,72,79],"mostly-automated":[36],"methodology":[37],"based":[38],"parametric":[40],"(PV).":[42],"We":[43,63],"propose":[44],"several":[45],"guidelines":[47],"architects":[49],"should":[50],"follow":[51],"if":[52],"they":[53],"want":[54],"parametrically":[61],"verified.":[62],"experimentally":[64],"evaluate":[65],"performance,":[66],"storage":[67],"overhead,":[68],"scalability":[70],"protocol":[73,82],"PV":[76],"compared":[77],"highly":[80],"optimized":[81],"cannot":[84],"PV.":[88]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}