{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T05:34:44Z","timestamp":1768109684221,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T00:00:00Z","timestamp":1683504000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,8]]},"DOI":"10.1145\/3552326.3567500","type":"proceedings-article","created":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:33:02Z","timestamp":1683307982000},"page":"687-702","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Morty: Scaling Concurrency Control with Re-Execution"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6142-5534","authenticated-orcid":false,"given":"Matthew","family":"Burke","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, NY, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3948-6725","authenticated-orcid":false,"given":"Florian","family":"Suri-Payer","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1192-7111","authenticated-orcid":false,"given":"Jeffrey","family":"Helt","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9857-5528","authenticated-orcid":false,"given":"Lorenzo","family":"Alvisi","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3567-801X","authenticated-orcid":false,"given":"Natacha","family":"Crooks","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Atul Adya. 1999. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. Ph.D. Dissertation. Massachusetts Institute of Technology."},{"key":"e_1_3_2_1_2_1","volume-title":"Sinfonia: A New Paradigm for Building Scalable Distributed Systems. In ACM Symposium on Operating System Principles (SOSP).","author":"Aguilera Marcos K","year":"2007","unstructured":"Marcos K Aguilera, Arif Merchant, Mehul Shah, Alistair Veitch, and Christos Karamanolis. 2007. Sinfonia: A New Paradigm for Building Scalable Distributed Systems. In ACM Symposium on Operating System Principles (SOSP)."},{"key":"e_1_3_2_1_3_1","volume-title":"ACM SIGOPS Workshop on Hot Topics in Operating Systems (HotOS).","author":"Ajoux Phillipe","year":"2015","unstructured":"Phillipe Ajoux, Nathan Bronson, Sanjeev Kumar, Wyatt Lloyd, and Kaushik Veeraraghavan. 2015. Challenges to Adopting Stronger Consistency at Scale. In ACM SIGOPS Workshop on Hot Topics in Operating Systems (HotOS)."},{"key":"e_1_3_2_1_4_1","unstructured":"Amazon Web Services 2021. https:\/\/aws.amazon.com\/."},{"key":"e_1_3_2_1_5_1","volume-title":"SSA is Functional Programming. ACM SIGPLAN NOTICES","author":"Appel Andrew W.","year":"1998","unstructured":"Andrew W. Appel. 1998. SSA is Functional Programming. ACM SIGPLAN NOTICES (1998)."},{"key":"e_1_3_2_1_6_1","unstructured":"Azure SQL Database 2022. https:\/\/www.windowsazure.com\/en-us\/services\/sql-database\/."},{"key":"e_1_3_2_1_7_1","volume-title":"Highly Available Storage for Interactive Services. In Conference on Innovative Data Systems Research (CIDR).","author":"Baker Jason","year":"2011","unstructured":"Jason Baker, Chris Bond, James C. Corbett, JJ Furman, Andrey Khorlin, James Larson, Jean-Michel Leon, Yawei Li, Alexander Lloyd, and Vadim Yushprakh. 2011. Megastore: Providing Scalable, Highly Available Storage for Interactive Services. In Conference on Innovative Data Systems Research (CIDR)."},{"key":"e_1_3_2_1_8_1","unstructured":"BerkeleyDB 2022. http:\/\/www.oracle.com\/technetwork\/database\/database-technologies\/berkeleydb\/overview\/index.html."},{"key":"e_1_3_2_1_9_1","volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein Philip A","unstructured":"Philip A Bernstein, Vassos Hadzilacos, and Nathan Goodman. 1987. Concurrency Control and Recovery in Database Systems. Vol. 370. Addison-Wesley Reading."},{"key":"e_1_3_2_1_10_1","volume-title":"Morty: Scaling Concurrency Control with Re-Execution (Extended Version). Technical Report. https:\/\/www.cs.cornell.edu\/~matthelb\/papers\/morty-eurosys23-tr.pdf","author":"Burke Matthew","year":"2022","unstructured":"Matthew Burke, Florian Suri-Payer, Jeffrey Helt, Lorenzo Alvisi, and Natacha Crooks. 2022. Morty: Scaling Concurrency Control with Re-Execution (Extended Version). Technical Report. https:\/\/www.cs.cornell.edu\/~matthelb\/papers\/morty-eurosys23-tr.pdf"},{"key":"e_1_3_2_1_11_1","unstructured":"Cloud Spanner 2022. https:\/\/cloud.google.com\/spanner\/."},{"key":"e_1_3_2_1_12_1","unstructured":"Cloud Spanner's Lock Scanned Ranges 2022. https:\/\/cloud.google.com\/spanner\/docs\/reference\/standard-sql\/query-syntax."},{"key":"e_1_3_2_1_13_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Corbett James C.","year":"2012","unstructured":"James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford. 2012. Spanner: Google's Globally-Distributed Database. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_14_1","unstructured":"CosmosDB 2022. https:\/\/azure.microsoft.com\/en-us\/services\/cosmos-db\/."},{"key":"e_1_3_2_1_15_1","volume-title":"Obladi: Oblivious Serializable Transactions in the Cloud. In USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Crooks Natacha","year":"2018","unstructured":"Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, and Lorenzo Alvisi. 2018. Obladi: Oblivious Serializable Transactions in the Cloud. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_16_1","volume-title":"Transaction Repair for Multi-Version Concurrency Control. In ACM SIGMOD International Conference on Management of Data (SIGMOD).","author":"Dashti Mohammad","year":"2017","unstructured":"Mohammad Dashti, Sachin Basil John, Amir Shaikhha, and Christoph Koch. 2017. Transaction Repair for Multi-Version Concurrency Control. In ACM SIGMOD International Conference on Management of Data (SIGMOD)."},{"key":"e_1_3_2_1_17_1","unstructured":"Db2 2022. https:\/\/www.ibm.com\/software\/data\/db2\/."},{"key":"e_1_3_2_1_18_1","volume-title":"FaRM: Fast Remote Memory. In USENIX Symposium on Networked Systems Design and Implementation (NSDI).","author":"Dragojevi\u0107 Aleksandar","year":"2014","unstructured":"Aleksandar Dragojevi\u0107, Dushyanth Narayanan, Orion Hodson, and Miguel Castro. 2014. FaRM: Fast Remote Memory. In USENIX Symposium on Networked Systems Design and Implementation (NSDI)."},{"key":"e_1_3_2_1_19_1","volume-title":"The Design and Operation of CloudLab. In USENIX Annual Technical Conference (ATC).","author":"Duplyakin Dmitry","year":"2019","unstructured":"Dmitry Duplyakin, Robert Ricci, Aleksander Maricq, Gary Wong, Jonathon Duerig, Eric Eide, Leigh Stoller, Mike Hibler, David Johnson, Kirk Webb, et al. 2019. The Design and Operation of CloudLab. In USENIX Annual Technical Conference (ATC)."},{"key":"e_1_3_2_1_20_1","unstructured":"DynamoDB 2022. https:\/\/aws.amazon.com\/dynamodb\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055553"},{"key":"e_1_3_2_1_22_1","unstructured":"FoundationDB 2022. http:\/\/foundationdb.com\/."},{"key":"e_1_3_2_1_23_1","volume-title":"Abadi","author":"Kallman Robert","year":"2008","unstructured":"Robert Kallman, Hideaki Kimura, Jonathan Natkins, Andrew Pavlo, Alexander Rasin, Stanley Zdonik, Evan P. C. Jones, Samuel Madden, Michael Stonebraker, Yang Zhang, John Hugg, and Daniel J. Abadi. 2008. H-Store: A High-Performance, Distributed Main Memory Transaction Processing System. In Proceedings of the VLDB Endowment (PVLDB)."},{"key":"e_1_3_2_1_24_1","volume-title":"A correspondence between continuation passing style and static single assignment form. ACM SIGPLAN Notices","author":"Kelsey Richard A","year":"1995","unstructured":"Richard A Kelsey. 1995. A correspondence between continuation passing style and static single assignment form. ACM SIGPLAN Notices (1995)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Justin Levandoski David Lomet Sedipta Sengupta Ryan Stutsman and Rui Wang. 2015. Multi-version range concurrency control in Deuteronomy. In VLDB.","DOI":"10.14778\/2831360.2831368"},{"key":"e_1_3_2_1_28_1","unstructured":"LevelDB 2022. http:\/\/leveldb.org\/."},{"key":"e_1_3_2_1_29_1","volume-title":"The Paxos Register. In IEEE Symposium on Reliable Distributed Systems.","author":"Li Harry","unstructured":"Harry Li, Allen Clement, Amitanand S. Aiyer, and Lorenzo Alvisi. 2007. The Paxos Register. In IEEE Symposium on Reliable Distributed Systems."},{"key":"e_1_3_2_1_30_1","unstructured":"libevent 2021. https:\/\/libevent.org\/."},{"key":"e_1_3_2_1_31_1","first-page":"395","article-title":"Ethernet","volume":"19","author":"Metcalfe Robert M.","year":"1976","unstructured":"Robert M. Metcalfe and David R. Boggs. 1976. Ethernet: Distributed Packet Switching for Local Computer Networks. Commun. ACM 19, 7 (1976), 395--404.","journal-title":"Distributed Packet Switching for Local Computer Networks. Commun. ACM"},{"key":"e_1_3_2_1_32_1","unstructured":"MongoDB 2022. https:\/\/www.mongodb.com\/."},{"key":"e_1_3_2_1_33_1","unstructured":"Morty Implementation 2022. https:\/\/www.github.com\/matthelb\/morty\/."},{"key":"e_1_3_2_1_34_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Mu Shuai","year":"2016","unstructured":"Shuai Mu, Lamont Nelson, Wyatt Lloyd, and Jinyang Li. 2016. Consolidating Concurrency Control and Consensus for Commits under Conflicts. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_35_1","unstructured":"MySQL 2022. https:\/\/www.mysql.com\/."},{"key":"e_1_3_2_1_36_1","unstructured":"neo4j 2022. https:\/\/neo4j.com\/."},{"key":"e_1_3_2_1_37_1","volume-title":"ACM Symposium on Principles of Distributed Computing (PODC).","author":"Brian","unstructured":"Brian M. Oki and Barbara H. Liskov. 1988. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems. In ACM Symposium on Principles of Distributed Computing (PODC)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3056096"},{"key":"e_1_3_2_1_39_1","volume-title":"Large-scale Incremental Processing Using Distributed Transactions and Notifications. In USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Peng Daniel","year":"2010","unstructured":"Daniel Peng and Frank Dabek. 2010. Large-scale Incremental Processing Using Distributed Transactions and Notifications. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_40_1","unstructured":"RocksDB 2022. http:\/\/rocksdb.org\/."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/320251.320260"},{"key":"e_1_3_2_1_42_1","unstructured":"Rust-Tokyo 2021. https:\/\/github.com\/tokio-rs\/tokio."},{"key":"e_1_3_2_1_43_1","unstructured":"SQL Server 2022. https:\/\/www.microsoft.com\/sqlserver\/."},{"key":"e_1_3_2_1_44_1","unstructured":"SQLite 2022. https:\/\/sqlite.org\/."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064031"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483552"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387529"},{"key":"e_1_3_2_1_48_1","volume-title":"CockroachDB: The Resilient Geo-Distributed SQL Database. In ACM SIGMOD International Conference on Management of Data (SIGMOD).","author":"Taft Rebecca","year":"2020","unstructured":"Rebecca Taft, Irfan Sharif, Andrei Matei, Nathan VanBenschoten, Jordan Lewis, Tobias Grieger, Kai Niemi, Andy Woods, Anne Birzin, Raphael Poss, et al. 2020. CockroachDB: The Resilient Geo-Distributed SQL Database. In ACM SIGMOD International Conference on Management of Data (SIGMOD)."},{"key":"e_1_3_2_1_49_1","volume-title":"Calvin: Fast Distributed Transactions for Partitioned Database Systems. In ACM SIGMOD International Conference on Management of Data (SIGMOD).","author":"Thomson Alexander","year":"2012","unstructured":"Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao, and Daniel J Abadi. 2012. Calvin: Fast Distributed Transactions for Partitioned Database Systems. In ACM SIGMOD International Conference on Management of Data (SIGMOD)."},{"key":"e_1_3_2_1_50_1","unstructured":"TPC-C 2021. http:\/\/www.tpc.org\/tpcc\/."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2915202"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196912"},{"key":"e_1_3_2_1_53_1","unstructured":"Xiangyao Yu Andrew Pavlo Daniel Sanchez and Srinivas Devadas. 2016. TicToc: Time Traveling Optimistic Concurrency Control. In SIGMD."},{"key":"e_1_3_2_1_54_1","unstructured":"YugabyteDB 2022. https:\/\/www.yugabyte.com\/."},{"key":"e_1_3_2_1_55_1","volume-title":"Building Consistent Transactions with Inconsistent Replication. In ACM Symposium on Operating System Principles (SOSP).","author":"Zhang Irene","year":"2015","unstructured":"Irene Zhang, Naveen Kr Sharma, Adriana Szekeres, Arvind Krishnamurthy, and Dan RK Ports. 2015. Building Consistent Transactions with Inconsistent Replication. In ACM Symposium on Operating System Principles (SOSP)."}],"event":{"name":"EuroSys '23: Eighteenth European Conference on Computer Systems","location":"Rome Italy","acronym":"EuroSys '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Eighteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3567500","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3552326.3567500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:39Z","timestamp":1750178859000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3567500"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,8]]},"references-count":55,"alternative-id":["10.1145\/3552326.3567500","10.1145\/3552326"],"URL":"https:\/\/doi.org\/10.1145\/3552326.3567500","relation":{},"subject":[],"published":{"date-parts":[[2023,5,8]]},"assertion":[{"value":"2023-05-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}