{"id":"https://openalex.org/W2075626884","doi":"https://doi.org/10.1145/2593069.2593241","title":"Verification of Transactional Memory in POWER8","display_name":"Verification of Transactional Memory in POWER8","publication_year":2014,"publication_date":"2014-05-27","ids":{"openalex":"https://openalex.org/W2075626884","doi":"https://doi.org/10.1145/2593069.2593241","mag":"2075626884"},"language":"en","primary_location":{"id":"doi:10.1145/2593069.2593241","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593069.2593241","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 51st Annual Design Automation Conference","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/A5014058894","display_name":"Allon Adir","orcid":"https://orcid.org/0000-0001-8128-6706"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Allon Adir","raw_affiliation_strings":["IBM Research","IBM Research, -"],"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]},{"raw_affiliation_string":"IBM Research, -","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019665684","display_name":"Dave Goodman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dave Goodman","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080674921","display_name":"Daniel Hershcovich","orcid":"https://orcid.org/0000-0002-3966-8708"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Hershcovich","raw_affiliation_strings":["IBM Research","IBM Research, -"],"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]},{"raw_affiliation_string":"IBM Research, -","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037442823","display_name":"Oz Hershkovitz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Oz Hershkovitz","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088522729","display_name":"Bryan Hickerson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bryan Hickerson","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010620455","display_name":"Karen Holtz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Karen Holtz","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056781682","display_name":"Wisam Kadry","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wisam Kadry","raw_affiliation_strings":["IBM Research","IBM Research, -"],"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]},{"raw_affiliation_string":"IBM Research, -","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077780621","display_name":"Anatoly Koyfman","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anatoly Koyfman","raw_affiliation_strings":["IBM Research","IBM Research, -"],"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]},{"raw_affiliation_string":"IBM Research, -","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071147196","display_name":"J. M. Ludden","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Ludden","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110346977","display_name":"C. Meissner","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Charles Meissner","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083923985","display_name":"Amir Nahir","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amir Nahir","raw_affiliation_strings":["IBM Research","IBM Research, -"],"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]},{"raw_affiliation_string":"IBM Research, -","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058613591","display_name":"Randall R. Pratt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Randall R. Pratt","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067203455","display_name":"Mike Schiffli","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mike Schiffli","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048403241","display_name":"Brett St. Onge","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Brett St. Onge","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014696912","display_name":"Brian W. Thompto","orcid":"https://orcid.org/0000-0002-6899-545X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Brian Thompto","raw_affiliation_strings":["IBM System & Technology Group"],"affiliations":[{"raw_affiliation_string":"IBM System & Technology Group","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064287593","display_name":"Elena Tsanko","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Elena Tsanko","raw_affiliation_strings":["IBM Research","IBM Research, -"],"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]},{"raw_affiliation_string":"IBM Research, -","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041046910","display_name":"Avi Ziv","orcid":"https://orcid.org/0000-0002-6309-250X"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Avi Ziv","raw_affiliation_strings":["IBM Research","IBM Research, -"],"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]},{"raw_affiliation_string":"IBM Research, -","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":17,"corresponding_author_ids":["https://openalex.org/A5014058894"],"corresponding_institution_ids":["https://openalex.org/I1341412227"],"apc_list":null,"apc_paid":null,"fwci":4.4826,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.95019397,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9977999925613403,"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/transactional-memory","display_name":"Transactional memory","score":0.92535001039505},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8184141516685486},{"id":"https://openalex.org/keywords/synchronizing","display_name":"Synchronizing","score":0.6688722372055054},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.6289953589439392},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.6208658814430237},{"id":"https://openalex.org/keywords/ibm","display_name":"IBM","score":0.6141985654830933},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.5582326650619507},{"id":"https://openalex.org/keywords/transactional-leadership","display_name":"Transactional leadership","score":0.5148881673812866},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.463922381401062},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3831196427345276},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3583592176437378},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25404298305511475},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.06407034397125244}],"concepts":[{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.92535001039505},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8184141516685486},{"id":"https://openalex.org/C162932704","wikidata":"https://www.wikidata.org/wiki/Q1058791","display_name":"Synchronizing","level":3,"score":0.6688722372055054},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.6289953589439392},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.6208658814430237},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.6141985654830933},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.5582326650619507},{"id":"https://openalex.org/C68489960","wikidata":"https://www.wikidata.org/wiki/Q2370659","display_name":"Transactional leadership","level":2,"score":0.5148881673812866},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.463922381401062},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3831196427345276},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3583592176437378},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25404298305511475},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.06407034397125244},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2593069.2593241","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593069.2593241","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 51st Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1502559739","https://openalex.org/W1514254291","https://openalex.org/W1545792627","https://openalex.org/W2005961863","https://openalex.org/W2032945467","https://openalex.org/W2053176592","https://openalex.org/W2072547867","https://openalex.org/W2100091242","https://openalex.org/W2113751407","https://openalex.org/W2136357775","https://openalex.org/W2143849045","https://openalex.org/W2147524308","https://openalex.org/W3000075988","https://openalex.org/W4213423413","https://openalex.org/W6632982355"],"related_works":["https://openalex.org/W2088444093","https://openalex.org/W133473147","https://openalex.org/W4252722439","https://openalex.org/W924353067","https://openalex.org/W2152491655","https://openalex.org/W2560016412","https://openalex.org/W2101555342","https://openalex.org/W2316531414","https://openalex.org/W2039853491","https://openalex.org/W3010421322"],"abstract_inverted_index":{"Transactional":[0,19],"memory":[1,20,91],"is":[2,21],"a":[3,22,37,48,55],"promising":[4],"mechanism":[5],"for":[6],"synchronizing":[7],"concurrent":[8],"programs":[9],"that":[10,32,73],"eliminates":[11],"locks":[12],"at":[13],"the":[14,65,71,93],"expense":[15],"of":[16,58],"hardware":[17],"complexity.":[18],"hard":[23],"feature":[24],"to":[25,76,88],"verify.":[26],"First,":[27],"transactions":[28],"comprise":[29],"several":[30],"instructions":[31],"must":[33,61],"be":[34,62],"observed":[35],"as":[36],"single":[38],"global":[39],"atomic":[40],"operation.":[41],"In":[42],"addition,":[43],"there":[44],"are":[45],"many":[46],"reasons":[47],"transaction":[49],"can":[50],"fail.":[51],"This":[52,68],"results":[53],"in":[54,80,86,92],"high":[56],"level":[57],"non-determinism":[59],"which":[60],"tamed":[63],"by":[64],"verification":[66],"methodology.":[67],"paper":[69],"describes":[70],"innovation":[72],"was":[74],"applied":[75],"tools":[77],"and":[78,84],"methodology":[79],"pre-silicon":[81],"simulation,":[82],"acceleration":[83],"post-silicon":[85],"order":[87],"verify":[89],"transactional":[90],"IBM":[94],"POWER8":[95],"processor":[96],"core.":[97]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}