{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:17:18Z","timestamp":1742383038116,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,7,18]]},"DOI":"10.1145\/1073970.1074011","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"245-252","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Efficient algorithms for verifying memory consistency"],"prefix":"10.1145","author":[{"given":"Chaiyasit","family":"Manovit","sequence":"first","affiliation":[{"name":"Sun Microsystems, Sunnyvale, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sudheendra","family":"Hangal","sequence":"additional","affiliation":[{"name":"Sun Microsystems India Private Limited, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,7,18]]},"reference":[{"volume-title":"IEEE Distributed Systems Online","year":"2002","author":"Baldoni R.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/564870.564897"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/942806.943856"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/777412.777457"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/520549.822782"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/378580.378604"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1992.242728"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/181014.181328"},{"volume-title":"Proc. 31st International Symp. on Computer Architecture (ISCA)","year":"2004","author":"Hangal S.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","first-page":"301","volume":"1633","author":"Henzinger T.A.","year":"1999","journal-title":"Verifying Sequential Consistency on Shared-memory Multiprocessor Systems, Lecture Notes in Computer Science"},{"volume-title":"Proc. of PDCS'97","year":"1997","author":"Higham L.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_14_1","first-page":"241","author":"Lamport L.","year":"1979","journal-title":"IEEE Transactions on Computers"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/115952.115964"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.262587"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733767"},{"volume-title":"Proceedings of the 12th International Conference on Computer Aided Verification","author":"Qadeer S.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017460.1017464"},{"key":"e_1_3_2_1_22_1","unstructured":"D.L. Weaver T. Germond Editors The SPARC Architecture Version 9 Prentice Hall 1994.]]   D.L. Weaver T. Germond Editors The SPARC Architecture Version 9 Prentice Hall 1994.]]"}],"event":{"name":"SPAA05: 17th ACM Symposium on Parallelism in Algorithms and Architectures 2005","sponsor":["ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Las Vegas Nevada USA","acronym":"SPAA05"},"container-title":["Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1073970.1074011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T21:26:16Z","timestamp":1673126776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1073970.1074011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,18]]},"references-count":19,"alternative-id":["10.1145\/1073970.1074011","10.1145\/1073970"],"URL":"https:\/\/doi.org\/10.1145\/1073970.1074011","relation":{},"subject":[],"published":{"date-parts":[[2005,7,18]]},"assertion":[{"value":"2005-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}