{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:40Z","timestamp":1772164060566,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,3]],"date-time":"2015-06-03T00:00:00Z","timestamp":1433289600000},"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":[[2015,6,3]]},"DOI":"10.1145\/2737924.2737970","type":"proceedings-article","created":{"date-parts":[[2015,6,3]],"date-time":"2015-06-03T11:35:56Z","timestamp":1433331356000},"page":"240-249","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Composing concurrency control"],"prefix":"10.1145","author":[{"given":"Ofri","family":"Ziv","sequence":"first","affiliation":[{"name":"Tel Aviv University, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Aiken","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Golan-Gueta","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Ramalingam","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"A fast and lightweight key\/value database library by google. http:\/\/code.google.com\/p\/leveldb.  A fast and lightweight key\/value database library by google. http:\/\/code.google.com\/p\/leveldb."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706305"},{"key":"e_1_3_2_1_3_1","volume-title":"Abstract unrestricted transactional memory: Supporting i\/o and system calls within transactions","author":"Blundell C.","year":"2006","unstructured":"C. Blundell . Abstract unrestricted transactional memory: Supporting i\/o and system calls within transactions , 2006 . C. Blundell. Abstract unrestricted transactional memory: Supporting i\/o and system calls within transactions, 2006."},{"key":"e_1_3_2_1_4_1","unstructured":"N. Bronson. Scalastm 2010. URL http:\/\/nbronson.github.io\/scala-stm\/.  N. Bronson. Scalastm 2010. URL http:\/\/nbronson.github.io\/scala-stm\/."},{"key":"e_1_3_2_1_5_1","volume-title":"5th Workshop on Determinism and Correctness in Parallel Programming","author":"Cao M.","year":"2014","unstructured":"M. Cao , M. Zhang , and M. D. Bond . Drinking from both glasses: Adaptively combining pessimistic and optimistic synchronization for efficient parallel runtime support . In 5th Workshop on Determinism and Correctness in Parallel Programming , 2014 . M. Cao, M. Zhang, and M. D. Bond. Drinking from both glasses: Adaptively combining pessimistic and optimistic synchronization for efficient parallel runtime support. In 5th Workshop on Determinism and Correctness in Parallel Programming, 2014."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2008.4636089"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1787275.1787286"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_14"},{"key":"e_1_3_2_1_9_1","first-page":"434","article-title":"Combined pessimistic and optimistic concurrency control","volume":"7","author":"Duffy J. J.","year":"2008","unstructured":"J. J. Duffy , M. M. Magruder , G. Graefe , D. Detlefs , and V. K. Grover . Combined pessimistic and optimistic concurrency control . US Patent 7 , 434 ,010 B2, 2008 . J. J. Duffy, M. M. Magruder, G. Graefe, D. Detlefs, and V. K. Grover. Combined pessimistic and optimistic concurrency control. US Patent 7,434,010 B2, 2008.","journal-title":"US Patent"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048086"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462172"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688500.2688511"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 24th International Workshop on Languages and Compilers for Parallel Computing (LCPC)","author":"Gottschlich J. E.","year":"2011","unstructured":"J. E. Gottschlich and J. Chung . Optimizing the concurrent execution of locks and transactions . In Proceedings of the 24th International Workshop on Languages and Compilers for Parallel Computing (LCPC) , September 2011 . J. E. Gottschlich and J. Chung. Optimizing the concurrent execution of locks and transactions. In Proceedings of the 24th International Workshop on Languages and Compilers for Parallel Computing (LCPC), September 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345233"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.03.005"},{"key":"e_1_3_2_1_17_1","unstructured":"Special Issue on Concurrency and synchonization in Java programs Special Issue on Concurrency and synchronization in Java programs.  Special Issue on Concurrency and synchonization in Java programs Special Issue on Concurrency and synchronization in Java programs."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855056"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/77643.77647"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345237"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/850929.851942"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013)","author":"Kempf S.","year":"2013","unstructured":"S. Kempf , R. Veldema , and M. Philippsen . Combining lock inference with lock-based software transactional memory. In Springer, editor , Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013) , 2013 . S. Kempf, R. Veldema, and M. Philippsen. Combining lock inference with lock-based software transactional memory. In Springer, editor, Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013), 2013."},{"key":"e_1_3_2_1_24_1","volume-title":"MULTIPROG","author":"Korland G.","year":"2010","unstructured":"G. Korland , N. Shavit , and P. Felber . Noninvasive concurrency with java stm . In MULTIPROG , 2010 . G. Korland, N. Shavit, and P. Felber. Noninvasive concurrency with java stm. In MULTIPROG, 2010."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/800174.809759"},{"key":"e_1_3_2_1_26_1","volume-title":"Composing concurrency control. Technical report","author":"Ofri Z.","year":"2015","unstructured":"Z. Ofri , A. Aiken , G. Golan-Gueta , G. Ramalingam , and M. Sagiv . Composing concurrency control. Technical report , 2015 . In preparation. Z. Ofri, A. Aiken, G. Golan-Gueta, G. Ramalingam, and M. Sagiv. Composing concurrency control. Technical report, 2015. In preparation."},{"key":"e_1_3_2_1_27_1","first-page":"8","volume-title":"Proceedings of the annual conference on USENIX Annual Technical Conference","author":"Prabhakaran V.","unstructured":"V. Prabhakaran , A. C. Arpaci-Dusseau , and R. H. Arpaci-Dusseau . Analysis and evolution of journaling file systems . In Proceedings of the annual conference on USENIX Annual Technical Conference , pages 8\u2013 8 . USENIX Association, 2005. V. Prabhakaran, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Analysis and evolution of journaling file systems. In Proceedings of the annual conference on USENIX Annual Technical Conference, pages 8\u20138. USENIX Association, 2005."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_20"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-012-1147-3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235885"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2009.20"},{"key":"e_1_3_2_1_32_1","volume-title":"Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery","author":"Weikum G.","year":"2001","unstructured":"G. Weikum and G. Vossen . Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 2001 . G. Weikum and G. Vossen. Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2001."},{"key":"e_1_3_2_1_33_1","unstructured":"ISBN 1-55860-508-8.  ISBN 1-55860-508-8."}],"event":{"name":"PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Portland OR USA","acronym":"PLDI '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737924.2737970","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2737924.2737970","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:12:23Z","timestamp":1750212743000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737924.2737970"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,3]]},"references-count":33,"alternative-id":["10.1145\/2737924.2737970","10.1145\/2737924"],"URL":"https:\/\/doi.org\/10.1145\/2737924.2737970","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2813885.2737970","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,6,3]]},"assertion":[{"value":"2015-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}