{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:38Z","timestamp":1763467838477,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,2,20]],"date-time":"2008-02-20T00:00:00Z","timestamp":1203465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,2,20]]},"DOI":"10.1145\/1345206.1345233","type":"proceedings-article","created":{"date-parts":[[2008,2,28]],"date-time":"2008-02-28T14:02:49Z","timestamp":1204207369000},"page":"175-184","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":260,"title":["On the correctness of transactional memory"],"prefix":"10.1145","author":[{"given":"Rachid","family":"Guerraoui","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"Michal","family":"Kapalka","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2008,2,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/319996.319998"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/L-CA.2006.18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92915"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL)","author":"Cachopo J.","year":"2005","unstructured":"J. Cachopo and A. Rito-Silva . Versioned boxes as the basis for memory transactions . In Proceedings of the Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL) ; in conjunction with the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '05), 2005 . J. Cachopo and A. Rito-Silva. Versioned boxes as the basis for memory transactions. In Proceedings of the Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL); in conjunction with the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'05), 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_14"},{"key":"e_1_3_2_1_8_1","volume-title":"Morgan Kaufmann","author":"Gray J.","year":"1993","unstructured":"J. Gray and A. Reuter . Transaction Processing: Concepts and Techniques . Morgan Kaufmann , 1993 . J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073814.1073863"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/42267.42272"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133984"},{"key":"e_1_3_2_1_13_1","unstructured":"M. Herlihy. SXM software transactional memory package for C#. http:\/\/www.cs.brown.edu\/~mph.  M. Herlihy. SXM software transactional memory package for C#. http:\/\/www.cs.brown.edu\/~mph."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/872035.872048"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786227"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561927_26"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 1st ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06)","author":"Marathe V. J.","year":"2006","unstructured":"V. J. Marathe , M. F. Spear , C. Heriot , A. Acharya , D. Eisenstat , W. N. Scherer III, and M. L. Scott . Lowering the overhead of software transactional memory . In Proceedings of the 1st ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06) , 2006 . V. J. Marathe, M. F. Spear, C. Heriot, A. Acharya, D. Eisenstat, W. N. Scherer III, and M. L. Scott. Lowering the overhead of software transactional memory. In Proceedings of the 1st ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06), 2006."},{"key":"e_1_3_2_1_20_1","first-page":"33","volume-title":"Second IEEE Symposium on Reliability in Distributed Software and Database Systems","author":"Moss J. E. B.","year":"1982","unstructured":"J. E. B. Moss . Nested transactions and reliable distributed computing . In Second IEEE Symposium on Reliability in Distributed Software and Database Systems , pages 33 -- 39 , 1982 . J. E. B. Moss. Nested transactions and reliable distributed computing. In Second IEEE Symposium on Reliability in Distributed Software and Database Systems, pages 33--39, 1982."},{"key":"e_1_3_2_1_21_1","volume-title":"Nested Transactions: An Approach to Reliable Distributed Computing","author":"Moss J. E. B.","year":"1985","unstructured":"J. E. B. Moss . Nested Transactions: An Approach to Reliable Distributed Computing . MIT Press , 1985 . J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, 1985."},{"key":"e_1_3_2_1_22_1","volume-title":"Poster presented at Workshop on Memory Performance Issues (WMPI'06)","author":"Moss J. E. B.","year":"2006","unstructured":"J. E. B. Moss . Open nested transactions: Semantics and support . In Poster presented at Workshop on Memory Performance Issues (WMPI'06) , Feb. 2006 . J. E. B. Moss. Open nested transactions: Semantics and support. In Poster presented at Workshop on Memory Performance Issues (WMPI'06), Feb. 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229428.1229442"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_20"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06)","author":"Riegel T.","year":"2006","unstructured":"T. Riegel , P. Felber , and C. Fetzer . Snapshot isolation for software transactional memory . In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06) , 2006 . T. Riegel, P. Felber, and C. Fetzer. Snapshot isolation for software transactional memory. In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06), 2006."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06)","author":"Scott M. L.","year":"2006","unstructured":"M. L. Scott . Sequential specification of transactional memory semantics . In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06) , 2006 . M. L. Scott. Sequential specification of transactional memory semantics. In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06), 2006."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_13"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/63264.63518"},{"key":"e_1_3_2_1_31_1","volume-title":"Parallel and Distributed Computing Handbook","author":"Zomaya A. Y.","year":"1996","unstructured":"A. Y. Zomaya , editor. Parallel and Distributed Computing Handbook . McGraw-Hill , 1996 . A. Y. Zomaya, editor. Parallel and Distributed Computing Handbook. McGraw-Hill, 1996."}],"event":{"name":"PPoPP08: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Salt Lake City UT USA","acronym":"PPoPP08"},"container-title":["Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1345206.1345233","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1345206.1345233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:18Z","timestamp":1750254978000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1345206.1345233"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2,20]]},"references-count":29,"alternative-id":["10.1145\/1345206.1345233","10.1145\/1345206"],"URL":"https:\/\/doi.org\/10.1145\/1345206.1345233","relation":{},"subject":[],"published":{"date-parts":[[2008,2,20]]},"assertion":[{"value":"2008-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}