{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:00Z","timestamp":1750306500105,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,4]],"date-time":"2016-01-04T00:00:00Z","timestamp":1451865600000},"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":[[2016,1,4]]},"DOI":"10.1145\/2833312.2833445","type":"proceedings-article","created":{"date-parts":[[2016,2,5]],"date-time":"2016-02-05T14:54:02Z","timestamp":1454684042000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Opacity proof for CaPR+ algorithm"],"prefix":"10.1145","author":[{"given":"Anshu S.","family":"Anand","sequence":"first","affiliation":[{"name":"Homi Bhabha National Institute, Mumbai"}]},{"given":"R. K.","family":"Shyamasundar","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology, Mumbai"}]},{"given":"Sathya","family":"Peri","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology, Hyderabad"}]}],"member":"320","published-online":{"date-parts":[[2016,1,4]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"99116","article-title":"Software transactional memory","author":"Shavit N.","year":"1997","unstructured":"N. Shavit and D. Touitou . \" Software transactional memory \". In Distributed Computing, Special Issue (10) : 99116 , 1997 . N. Shavit and D. Touitou. \"Software transactional memory\". In Distributed Computing, Special Issue (10): 99116, 1997.","journal-title":"Distributed Computing, Special Issue (10)"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378563"},{"key":"e_1_3_2_1_3_1","volume-title":"A study of conflict detection in software transactional memory\". Masters thesis","author":"D.","year":"2009","unstructured":"Lupei, D. : \" A study of conflict detection in software transactional memory\". Masters thesis , University of Toronto , the Netherlands ( 2009 ) Lupei, D.: \"A study of conflict detection in software transactional memory\". Masters thesis, University of Toronto, the Netherlands (2009)"},{"issue":"22","key":"e_1_3_2_1_4_1","first-page":"80","article-title":"Clustered checkpointing and partial rollbacks for reducing conflict costs in stms","volume":"1","author":"Agarwal R. K.","year":"2010","unstructured":"Gupta, M., Shyamasundar, R. K. , Agarwal , S. : \" Clustered checkpointing and partial rollbacks for reducing conflict costs in stms \", IBM IRL Report, also in International Journal of Computer Applications 1 ( 22 ) ( February 2010 ) 80 -- 85 Gupta, M., Shyamasundar, R. K., Agarwal, S.: \"Clustered checkpointing and partial rollbacks for reducing conflict costs in stms\", IBM IRL Report, also in International Journal of Computer Applications 1(22) (February 2010) 80--85","journal-title":"IBM IRL Report, also in International Journal of Computer Applications"},{"key":"e_1_3_2_1_5_1","unstructured":"Gupta M. Shyamasundar R. K. Agarwal S. \"Automatic checkpointing and partial rollback in software transaction memory\" (January 2012) IBM patent Publication 20110029490.  Gupta M. Shyamasundar R. K. Agarwal S. \"Automatic checkpointing and partial rollback in software transaction memory\" (January 2012) IBM patent Publication 20110029490."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345233"},{"key":"e_1_3_2_1_7_1","volume-title":"IISWC 08: Proceedings of The IEEE International Symposium on Workload Characterization","author":"Minh Chi Cao","year":"2008","unstructured":"Chi Cao Minh , JaeWoong Chung , Christos Kozyrakis , and Kunle Olukotun , \"STAMP : Stanford transactional applications for multi-processing \", In IISWC 08: Proceedings of The IEEE International Symposium on Workload Characterization , September 2008 . Chi Cao Minh, JaeWoong Chung, Christos Kozyrakis, and Kunle Olukotun, \"STAMP: Stanford transactional applications for multi-processing\", In IISWC 08: Proceedings of The IEEE International Symposium on Workload Characterization, September 2008."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2008.4536249"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40047-6_59"},{"key":"e_1_3_2_1_10_1","volume-title":"Synthesis Lectures on Distributed Computing Theory. Morgan and Claypool","author":"Guerraoui Rachid","year":"2010","unstructured":"Rachid Guerraoui and Michal Kapalka . \" Principles of Transactional Memory\" , Synthesis Lectures on Distributed Computing Theory. Morgan and Claypool , 2010 . Rachid Guerraoui and Michal Kapalka. \"Principles of Transactional Memory\", Synthesis Lectures on Distributed Computing Theory. Morgan and Claypool, 2010."},{"key":"e_1_3_2_1_11_1","unstructured":"Anshu S Anand R K Shyamasundar Sathya Peri \"Opacity Proof for CaPR+ Algorithm\" arXiv: http:\/\/arxiv.org\/abs\/1510.06967.  Anshu S Anand R K Shyamasundar Sathya Peri \"Opacity Proof for CaPR+ Algorithm\" arXiv: http:\/\/arxiv.org\/abs\/1510.06967."},{"key":"e_1_3_2_1_12_1","volume-title":"Morgan Kaufmann","author":"Weikum Gerhard","year":"2002","unstructured":"Gerhard Weikum and Gottfried Vossen . \" Transactional Information Systems : Theory, Algorithms, and the Practice of Concurrency Control and Recovery \". Morgan Kaufmann , 2002 . Gerhard Weikum and Gottfried Vossen. \"Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery\". Morgan Kaufmann, 2002."}],"event":{"name":"ICDCN '16: 17th International Conference on Distributed Computing and Networking","acronym":"ICDCN '16","location":"Singapore Singapore"},"container-title":["Proceedings of the 17th International Conference on Distributed Computing and Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2833312.2833445","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2833312.2833445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:49Z","timestamp":1750225729000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2833312.2833445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,4]]},"references-count":12,"alternative-id":["10.1145\/2833312.2833445","10.1145\/2833312"],"URL":"https:\/\/doi.org\/10.1145\/2833312.2833445","relation":{},"subject":[],"published":{"date-parts":[[2016,1,4]]},"assertion":[{"value":"2016-01-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}