{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:06:32Z","timestamp":1767927992895,"version":"3.49.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hpca.2006.1598123","type":"proceedings-article","created":{"date-parts":[[2006,3,21]],"date-time":"2006-03-21T22:46:16Z","timestamp":1142981176000},"page":"168-177","source":"Crossref","is-referenced-by-count":23,"title":["Completely Verifying Memory Consistency of Test Program Executions"],"prefix":"10.1109","author":[{"given":"C.","family":"Manovit","sequence":"first","affiliation":[]},{"given":"S.","family":"Hangal","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968591"},{"key":"18","year":"1994","journal-title":"The SPARC Architecture Version 9"},{"key":"15","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":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3604-8_2"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CMPCON.1996.501801"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"11","article-title":"Efficient algorithms for verifying memory consistency","author":"manovit","year":"2005","journal-title":"Proc ACM Symposium on Parallel Algorithms and Architectures (SPAA)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.25"},{"key":"3","article-title":"Verifying sequential consistency using vector clocks","author":"cain","year":"2002","journal-title":"Proc ACM Symposium on Parallel Algorithms and Architectures (SPAA)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.935512"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1991.1021604"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1990.134503"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794279614"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/181014.181328"},{"key":"4","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/777412.777457","article-title":"The complexity of verifying memory coherence","author":"cantin","year":"2003","journal-title":"Proc 10th Ann ACM Symp Parallel Algorithms and Architectures"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1147\/rd.461.0053"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1145\/1028176.1006710","article-title":"TSOtool: A program to verify multiprocessor memory systems using the memory consistency model","author":"hangal","year":"2004","journal-title":"Proceedings of the International Symposium on Computer Architecture (ISCA)"}],"event":{"name":"The Twelfth International Symposium on High-Performance Computer Architecture, 2006.","location":"Austin, Texas"},"container-title":["The Twelfth International Symposium on High-Performance Computer Architecture, 2006."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10647\/33614\/01598123.pdf?arnumber=1598123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T20:49:54Z","timestamp":1683406194000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1598123\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/hpca.2006.1598123","relation":{},"subject":[]}}