{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:22:21Z","timestamp":1779074541689,"version":"3.51.4"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,2]]},"DOI":"10.1109\/hpca.2009.4798276","type":"proceedings-article","created":{"date-parts":[[2009,3,10]],"date-time":"2009-03-10T13:52:31Z","timestamp":1236693151000},"page":"381-392","source":"Crossref","is-referenced-by-count":25,"title":["Fast complete memory consistency verification"],"prefix":"10.1109","author":[{"given":"Yunji","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yi Lv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiwu","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianshi","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Haihua Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Pengyu Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Hong Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"17","article-title":"microarchitecture of godson-3 multi-core processor","author":"hu","year":"2008","journal-title":"Proc Hot Chips 10"},{"key":"18","article-title":"microarchitecture of godson-3 multi-core processor","volume":"29","author":"hu","year":"2009","journal-title":"IEEE Micro"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/BF02946601"},{"key":"16","author":"hu","year":"2001","journal-title":"Shared Memory Architecture"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/BF02946600"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_31"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1145\/1028176.1006710","article-title":"tsotool: a program for verifying memory systems using the memory consistency model","author":"hangal","year":"2004","journal-title":"Proceedings of the 31st International Symposium on Computer Architecture (ISCA'04)"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.5"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1991.1021604"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1147\/rd.461.0053"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1073970.1074011"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598123"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.29"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/215399.215413"},{"key":"28","article-title":"lamport clocks: verifying a directory cache-coherence protocol","author":"plakal","year":"1998","journal-title":"Proc ACM Symposium on Parallel Algorithms and Architectures (SPAA)"},{"key":"29","doi-asserted-by":"crossref","DOI":"10.1007\/11817963_46","article-title":"fast and generalized polynomial time memory consistency verification","author":"roy","year":"2006","journal-title":"Proceedings of the 18th International Conference on Computer Aided Verification (CAV'06)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2005.86"},{"key":"2","article-title":"verifying sequential consistency using vector clocks","author":"cain","year":"2002","journal-title":"Proc ACM Symposium on Parallel Algorithms and Architectures (SPAA)"},{"key":"10","article-title":"cache consistency and sequential consistency","author":"goodman","year":"0"},{"key":"1","year":"0"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/30350.30377"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/325164.325102"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1145\/17356.17406","article-title":"memory access buffering in multiprocessors","author":"dubois","year":"1986","journal-title":"Proceedings of the 13rd International Symposium on Computer Architecture (ISCA'86)"},{"key":"32","article-title":"nemos: a framework for axiomatic and executable specifications of memory consistency models","author":"yang","year":"2004","journal-title":"Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS'04)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/OPNARC.2003.1196379"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1147\/rd.494.0541"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_10","article-title":"shared memory consistency protocol verification against weak memory models: refinement via model-checking","author":"chatterjee","year":"2002","journal-title":"Proceedings of the 14th International Conference on Computer Aided Verification (CAV'02)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794279614"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/181014.181328"}],"event":{"name":"2009 IEEE 15th International Symposium on High Performance Computer Architecture (HPCA)","location":"Raleigh, NC, USA","start":{"date-parts":[[2009,2,14]]},"end":{"date-parts":[[2009,2,18]]}},"container-title":["2009 IEEE 15th International Symposium on High Performance Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4795428\/4798227\/04798276.pdf?arnumber=4798276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T15:27:02Z","timestamp":1558193222000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4798276\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/hpca.2009.4798276","relation":{},"subject":[],"published":{"date-parts":[[2009,2]]}}}