{"id":"https://openalex.org/W4376456843","doi":"https://doi.org/10.1109/mm.2023.3274993","title":"HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols","display_name":"HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols","publication_year":2023,"publication_date":"2023-05-11","ids":{"openalex":"https://openalex.org/W4376456843","doi":"https://doi.org/10.1109/mm.2023.3274993"},"language":"es","primary_location":{"id":"doi:10.1109/mm.2023.3274993","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mm.2023.3274993","pdf_url":null,"source":{"id":"https://openalex.org/S59697426","display_name":"IEEE Micro","issn_l":"0272-1732","issn":["0272-1732","1937-4143"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Micro","raw_type":"journal-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/A5036931296","display_name":"Nicolai Oswald","orcid":"https://orcid.org/0009-0009-9272-0518"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nicolai Oswald","raw_affiliation_strings":["NVIDIA, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"NVIDIA, Zurich, Switzerland","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056071760","display_name":"Vijay Nagarajan","orcid":"https://orcid.org/0009-0000-5045-4754"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay Nagarajan","raw_affiliation_strings":["University of Utah, Salt Lake City, UT, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","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":["Duke University, Durham, NC, USA"],"affiliations":[{"raw_affiliation_string":"Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063614902","display_name":"Vasilis Gavrielatos","orcid":"https://orcid.org/0000-0002-2933-2688"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vasilis Gavrielatos","raw_affiliation_strings":["Huawei, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"Huawei, Edinburgh, U.K","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035758082","display_name":"Theo Olausson","orcid":"https://orcid.org/0000-0001-6653-2227"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Theo X. Olausson","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056424231","display_name":"Reece Carr","orcid":"https://orcid.org/0009-0006-7890-4095"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Reece Carr","raw_affiliation_strings":["University of Edinburgh, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, U.K","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5036931296"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3076,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45979899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"43","issue":"4","first_page":"62","last_page":"70"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8967311382293701},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.847002387046814},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6446776390075684},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.6379103660583496},{"id":"https://openalex.org/keywords/mesi-protocol","display_name":"MESI protocol","score":0.5899920463562012},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5862689018249512},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.5263123512268066},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.46056634187698364},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3949185907840729},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.36031579971313477},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.25574207305908203},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.2276802361011505},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16706451773643494}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8967311382293701},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.847002387046814},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6446776390075684},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.6379103660583496},{"id":"https://openalex.org/C120936851","wikidata":"https://www.wikidata.org/wiki/Q1408065","display_name":"MESI protocol","level":5,"score":0.5899920463562012},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5862689018249512},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.5263123512268066},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.46056634187698364},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3949185907840729},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.36031579971313477},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.25574207305908203},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.2276802361011505},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16706451773643494},{"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/mm.2023.3274993","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mm.2023.3274993","pdf_url":null,"source":{"id":"https://openalex.org/S59697426","display_name":"IEEE Micro","issn_l":"0272-1732","issn":["0272-1732","1937-4143"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Micro","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6700000166893005,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[{"id":"https://openalex.org/G1540064764","display_name":null,"funder_award_id":"CCF-200-2737","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6385313785","display_name":"C6: Correct-by-Construction Heterogeneous Coherence","funder_award_id":"EP/V028154/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7037259260","display_name":null,"funder_award_id":"EP/V038699/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7415281536","display_name":"Dijkstra's Pipe: Timing-Secure Processors by Design","funder_award_id":"EP/V038699/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8952434854","display_name":null,"funder_award_id":"EP/V028154/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1548312885","https://openalex.org/W1997576530","https://openalex.org/W2081698031","https://openalex.org/W2086023529","https://openalex.org/W2738891045","https://openalex.org/W2769194423","https://openalex.org/W2884874829","https://openalex.org/W3043204054","https://openalex.org/W3043482870","https://openalex.org/W4250422783","https://openalex.org/W4280557507","https://openalex.org/W4285717907","https://openalex.org/W6632997174"],"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/W2352722396","https://openalex.org/W2107914397","https://openalex.org/W3026856133","https://openalex.org/W13351917"],"abstract_inverted_index":{"We":[0,56],"address":[1],"the":[2,37],"two":[3],"challenges":[4],"architects":[5],"face":[6],"when":[7],"designing":[8],"heterogeneous":[9,86],"processors":[10],"with":[11,28],"cache-coherent":[12],"shared":[13],"memory.":[14],"First,":[15],"we":[16,34,50],"introduce":[17],"HeteroGen,":[18],"an":[19],"automated":[20],"tool":[21],"for":[22],"composing":[23],"clusters":[24],"of":[25,39,67],"cores,":[26],"each":[27],"its":[29],"own":[30],"coherence":[31,68],"protocol.":[32,87],"Second,":[33],"show":[35],"that":[36,49,59,73],"output":[38],"HeteroGen":[40,60,77],"conforms":[41],"to":[42,80],"a":[43,52,64,81],"precisely":[44],"defined":[45],"memory":[46],"consistency":[47,54],"model":[48],"call":[51],"compound":[53],"model.":[55],"also":[57],"demonstrate":[58],"can":[61],"correctly":[62],"fuse":[63],"wide":[65],"range":[66],"protocols.":[69],"Our":[70],"experiments":[71],"indicate":[72],"protocols":[74],"generated":[75,85],"by":[76],"perform":[78],"comparably":[79],"publicly":[82],"available":[83],"manually":[84]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}