{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:07:26Z","timestamp":1742389646147,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,15]]},"DOI":"10.1145\/1065944.1065953","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"61-71","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":48,"title":["Static analysis of atomicity for programs with non-blocking synchronization"],"prefix":"10.1145","author":[{"given":"Liqiang","family":"Wang","sequence":"first","affiliation":[{"name":"State University of New York at Stony Brook, Stony Brook, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[{"name":"State University of New York at Stony Brook, Stony Brook, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007543"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781169"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604176"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","first-page":"44","volume-title":"Proceedings of the 16th International Conference on Computer-Aided Verification (CAV)","author":"Gao H.","year":"2004","unstructured":"H. Gao and W. H. Hesselink . A formal reduction for lock-free parallel algorithms . In Proceedings of the 16th International Conference on Computer-Aided Verification (CAV) , Lecture Notes in Computer Science , pages 44 -- 56 , 2004 . H. Gao and W. H. Hesselink. A formal reduction for lock-free parallel algorithms. In Proceedings of the 16th International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science, pages 44--56, 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/161468.161469"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_9_1","volume-title":"The SPIN Model Checker","author":"Holzmann G. J.","year":"2003","unstructured":"G. J. Holzmann . The SPIN Model Checker . Addison-Wesley , 2003 . G. J. Holzmann. The SPIN Model Checker. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361234"},{"key":"e_1_3_2_1_11_1","volume-title":"Private communication","author":"Michael M. M.","year":"2004","unstructured":"M. M. Michael . Private communication , 2004 . M. M. Michael. Private communication, 2004."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996848"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/248052.248106"},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BFb0028727","volume-title":"Proc. 10th Int'l. Conference on Computer-Aided Verification (CAV)","author":"Peled D.","year":"1998","unstructured":"D. Peled . Ten years of partial order reduction . In A. J. Hu and M. Y. Vardi, editors, Proc. 10th Int'l. Conference on Computer-Aided Verification (CAV) , volume 1427 of Lecture Notes in Computer Science , pages 17 -- 28 . Springer-Verlag , 1998 . D. Peled. Ten years of partial order reduction. In A. J. Hu and M. Y. Vardi, editors, Proc. 10th Int'l. Conference on Computer-Aided Verification (CAV), volume 1427 of Lecture Notes in Computer Science, pages 17--28. Springer-Verlag, 1998."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964022"},{"key":"e_1_3_2_1_17_1","volume-title":"Third Workshop on Runtime Verification (RV03)","volume":"2003","author":"Wang L.","unstructured":"L. Wang and S. D. Stoller . Run-time analysis for atomicity . In Third Workshop on Runtime Verification (RV03) , volume 89(2) of Electronic Notes in Theoretical Computer Science. Elsevier, 2003 . L. Wang and S. D. Stoller. Run-time analysis for atomicity. In Third Workshop on Runtime Verification (RV03), volume 89(2) of Electronic Notes in Theoretical Computer Science. Elsevier, 2003."},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. Workshop on Software Model Checking (SoftMC'03)","volume":"2003","author":"Yahav E.","unstructured":"E. Yahav and M. Sagiv . Automatically verifying concurrent queue algorithms . In Proc. Workshop on Software Model Checking (SoftMC'03) , volume 89(3) of Electronic Notes in Theoretical Computer Science. Elsevier, 2003 . E. Yahav and M. Sagiv. Automatically verifying concurrent queue algorithms. In Proc. Workshop on Software Model Checking (SoftMC'03), volume 89(3) of Electronic Notes in Theoretical Computer Science. Elsevier, 2003."}],"event":{"name":"PPoPP05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 2005","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Chicago IL USA","acronym":"PPoPP05"},"container-title":["Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065944.1065953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T07:32:59Z","timestamp":1672990379000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065944.1065953"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,15]]},"references-count":17,"alternative-id":["10.1145\/1065944.1065953","10.1145\/1065944"],"URL":"https:\/\/doi.org\/10.1145\/1065944.1065953","relation":{},"subject":[],"published":{"date-parts":[[2005,6,15]]},"assertion":[{"value":"2005-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}