{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T09:53:09Z","timestamp":1773481989673,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T00:00:00Z","timestamp":1618963200000},"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":[[2021,4,21]]},"DOI":"10.1145\/3447786.3456236","type":"proceedings-article","created":{"date-parts":[[2021,4,22]],"date-time":"2021-04-22T06:18:11Z","timestamp":1619072291000},"page":"178-193","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Efficient replication via timestamp stability"],"prefix":"10.1145","author":[{"given":"Vitor","family":"Enes","sequence":"first","affiliation":[{"name":"INESC TEC and University of Minho"}]},{"given":"Carlos","family":"Baquero","sequence":"additional","affiliation":[{"name":"INESC TEC and University of Minho"}]},{"given":"Alexey","family":"Gotsman","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute"}]},{"given":"Pierre","family":"Sutra","sequence":"additional","affiliation":[{"name":"T\u00e9l\u00e9com SudParis"}]}],"member":"320","published-online":{"date-parts":[[2021,4,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.35"},{"key":"e_1_3_2_1_2_1","volume-title":"CORFU: A Shared Log Design for Flash Clusters. In Symposium on Networked Systems Design and Implementation (NSDI).","author":"Balakrishnan Mahesh","unstructured":"Mahesh Balakrishnan , Dahlia Malkhi , Vijayan Prabhakaran , Ted Wobber , Michael Wei , and John D. Davis . 2012 . CORFU: A Shared Log Design for Flash Clusters. In Symposium on Networked Systems Design and Implementation (NSDI). Mahesh Balakrishnan, Dahlia Malkhi, Vijayan Prabhakaran, Ted Wobber, Michael Wei, and John D. Davis. 2012. CORFU: A Shared Log Design for Flash Clusters. In Symposium on Networked Systems Design and Implementation (NSDI)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522732"},{"key":"e_1_3_2_1_4_1","volume-title":"Scalable State-Machine Replication. In International Conference on Dependable Systems and Networks (DSN).","author":"Benevides Bezerra Carlos Eduardo","year":"2014","unstructured":"Carlos Eduardo Benevides Bezerra , Fernando Pedone , and Robbert van Renesse . 2014 . Scalable State-Machine Replication. In International Conference on Dependable Systems and Networks (DSN). Carlos Eduardo Benevides Bezerra, Fernando Pedone, and Robbert van Renesse. 2014. Scalable State-Machine Replication. In International Conference on Dependable Systems and Networks (DSN)."},{"key":"e_1_3_2_1_5_1","volume-title":"Gryff: Unifying Consensus and Shared Registers. In Symposium on Networked Systems Design and Implementation (NSDI).","author":"Burke Matthew","year":"2020","unstructured":"Matthew Burke , Audrey Cheng , and Wyatt Lloyd . 2020 . Gryff: Unifying Consensus and Shared Registers. In Symposium on Networked Systems Design and Implementation (NSDI). Matthew Burke, Audrey Cheng, and Wyatt Lloyd. 2020. Gryff: Unifying Consensus and Shared Registers. In Symposium on Networked Systems Design and Implementation (NSDI)."},{"key":"e_1_3_2_1_6_1","volume-title":"The Weakest Failure Detector for Solving Consensus. J. ACM","author":"Chandra Tushar Deepak","year":"1996","unstructured":"Tushar Deepak Chandra , Vassos Hadzilacos , and Sam Toueg . 1996. The Weakest Failure Detector for Solving Consensus. J. ACM ( 1996 ). Tushar Deepak Chandra, Vassos Hadzilacos, and Sam Toueg. 1996. The Weakest Failure Detector for Solving Consensus. J. ACM (1996)."},{"key":"e_1_3_2_1_7_1","volume-title":"Benchmarking Cloud Serving Systems with YCSB. In Symposium on Cloud Computing (SoCC).","author":"Cooper Brian F.","year":"2010","unstructured":"Brian F. Cooper , Adam Silberstein , Erwin Tam , Raghu Ramakrishnan , and Russell Sears . 2010 . Benchmarking Cloud Serving Systems with YCSB. In Symposium on Cloud Computing (SoCC). Brian F. Cooper, Adam Silberstein, Erwin Tam, Raghu Ramakrishnan, and Russell Sears. 2010. Benchmarking Cloud Serving Systems with YCSB. In Symposium on Cloud Computing (SoCC)."},{"key":"e_1_3_2_1_8_1","volume-title":"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 , J. J. Furman , Sanjay Ghemawat , Andrey Gubarev , Christopher Heiser , Peter Hochschild , Wilson C. 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 Symposium on Operating Systems Design and Implementation (OSDI). James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. 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 Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_9_1","volume-title":"Granola: Low-Overhead Distributed Transaction Coordination. In USENIX Annual Technical Conference (USENIX ATC).","author":"James","unstructured":"James A. Cowling and Barbara Liskov. 2012 . Granola: Low-Overhead Distributed Transaction Coordination. In USENIX Annual Technical Conference (USENIX ATC). James A. Cowling and Barbara Liskov. 2012. Granola: Low-Overhead Distributed Transaction Coordination. In USENIX Annual Technical Conference (USENIX ATC)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDEW.2014.6818330"},{"key":"e_1_3_2_1_11_1","volume-title":"Clock-RSM: Low-Latency Inter-datacenter State Machine Replication Using Loosely Synchronized Physical Clocks. In International Conference on Dependable Systems and Networks (DSN).","author":"Du Jiaqing","year":"2014","unstructured":"Jiaqing Du , Daniele Sciascia , Sameh Elnikety , Willy Zwaenepoel , and Fernando Pedone . 2014 . Clock-RSM: Low-Latency Inter-datacenter State Machine Replication Using Loosely Synchronized Physical Clocks. In International Conference on Dependable Systems and Networks (DSN). Jiaqing Du, Daniele Sciascia, Sameh Elnikety, Willy Zwaenepoel, and Fernando Pedone. 2014. Clock-RSM: Low-Latency Inter-datacenter State Machine Replication Using Loosely Synchronized Physical Clocks. In International Conference on Dependable Systems and Networks (DSN)."},{"key":"e_1_3_2_1_12_1","volume":"198","author":"Dwork Cynthia","unstructured":"Cynthia Dwork , Nancy A. Lynch , and Larry J. Stockmeyer. 198 8. Consensus in the Presence of Partial Synchrony. J. ACM (1988). Cynthia Dwork, Nancy A. Lynch, and Larry J. Stockmeyer. 1988. Consensus in the Presence of Partial Synchrony. J. ACM (1988).","journal-title":"Larry J. Stockmeyer."},{"key":"e_1_3_2_1_13_1","volume-title":"Efficient Replication via Timestamp Stability (Extended Version). arXiv CoRR abs\/2104.01142","author":"Enes Vitor","year":"2021","unstructured":"Vitor Enes , Carlos Baquero , Alexey Gotsman , and Pierre Sutra . 2021. Efficient Replication via Timestamp Stability (Extended Version). arXiv CoRR abs\/2104.01142 ( 2021 ). http:\/\/arxiv.org\/abs\/2104.01142 Vitor Enes, Carlos Baquero, Alexey Gotsman, and Pierre Sutra. 2021. Efficient Replication via Timestamp Stability (Extended Version). arXiv CoRR abs\/2104.01142 (2021). http:\/\/arxiv.org\/abs\/2104.01142"},{"key":"e_1_3_2_1_14_1","volume-title":"State-Machine Replication for Planet-Scale Systems. In European Conference on Computer Systems (EuroSys).","author":"Enes Vitor","year":"2020","unstructured":"Vitor Enes , Carlos Baquero , Tuanir Fran\u00e7a Rezende , Alexey Gotsman , Matthieu Perrin , and Pierre Sutra . 2020 . State-Machine Replication for Planet-Scale Systems. In European Conference on Computer Systems (EuroSys). Vitor Enes, Carlos Baquero, Tuanir Fran\u00e7a Rezende, Alexey Gotsman, Matthieu Perrin, and Pierre Sutra. 2020. State-Machine Replication for Planet-Scale Systems. In European Conference on Computer Systems (EuroSys)."},{"key":"e_1_3_2_1_15_1","unstructured":"FaunaDB. [n.d.]. What is FaunaDB? https:\/\/docs.fauna.com\/fauna\/current\/introduction.html  FaunaDB. [n.d.]. What is FaunaDB? https:\/\/docs.fauna.com\/fauna\/current\/introduction.html"},{"key":"e_1_3_2_1_16_1","volume-title":"The Google File System. In Symposium on Operating Systems Principles (SOSP).","author":"Ghemawat Sanjay","year":"2003","unstructured":"Sanjay Ghemawat , Howard Gobioff , and Shun-Tak Leung . 2003 . The Google File System. In Symposium on Operating Systems Principles (SOSP). Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung. 2003. The Google File System. In Symposium on Operating Systems Principles (SOSP)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Rachid Guerraoui and Andr\u00e9 Schiper. 2001. Genuine Atomic Multicast in Asynchronous Distributed Systems. Theor. Comput. Sci. (2001).  Rachid Guerraoui and Andr\u00e9 Schiper. 2001. Genuine Atomic Multicast in Asynchronous Distributed Systems. Theor. Comput. Sci. (2001).","DOI":"10.1016\/S0304-3975(99)00161-9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2014.41"},{"key":"e_1_3_2_1_19_1","volume-title":"Wing","author":"Herlihy Maurice","year":"1990","unstructured":"Maurice Herlihy and Jeannette M . Wing . 1990 . Linearizability : A Correctness Condition for Concurrent Objects. ACM Trans. Program. Lang. Syst . (1990). Maurice Herlihy and Jeannette M. Wing. 1990. Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans. Program. Lang. Syst. (1990)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2002.1022298"},{"key":"e_1_3_2_1_21_1","volume-title":"Flexible Paxos: Quorum Intersection Revisited. In International Conference on Principles of Distributed Systems (OPODIS).","author":"Howard Heidi","year":"2016","unstructured":"Heidi Howard , Dahlia Malkhi , and Alexander Spiegelman . 2016 . Flexible Paxos: Quorum Intersection Revisited. In International Conference on Principles of Distributed Systems (OPODIS). Heidi Howard, Dahlia Malkhi, and Alexander Spiegelman. 2016. Flexible Paxos: Quorum Intersection Revisited. In International Conference on Principles of Distributed Systems (OPODIS)."},{"key":"e_1_3_2_1_22_1","volume-title":"Erasure Coding in Windows Azure Storage. In USENIX Annual Technical Conference (USENIX ATC).","author":"Huang Cheng","year":"2012","unstructured":"Cheng Huang , Huseyin Simitci , Yikang Xu , Aaron Ogus , Brad Calder , Parikshit Gopalan , Jin Li , and Sergey Yekhanin . 2012 . Erasure Coding in Windows Azure Storage. In USENIX Annual Technical Conference (USENIX ATC). Cheng Huang, Huseyin Simitci, Yikang Xu, Aaron Ogus, Brad Calder, Parikshit Gopalan, Jin Li, and Sergey Yekhanin. 2012. Erasure Coding in Windows Azure Storage. In USENIX Annual Technical Conference (USENIX ATC)."},{"key":"e_1_3_2_1_23_1","volume":"200","author":"Kallman Robert","unstructured":"Robert Kallman , Hideaki Kimura , Jonathan Natkins , Andrew Pavlo , Alex Rasin , Stanley B. Zdonik , Evan P. C. Jones , Samuel Madden , Michael Stonebraker , Yang Zhang , John Hugg , and Daniel J. Abadi. 200 8. H-Store: A High-Performance, Distributed Main Memory Transaction Processing System. Proc. VLDB Endow. (2008). Robert Kallman, Hideaki Kimura, Jonathan Natkins, Andrew Pavlo, Alex Rasin, Stanley B. 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. Proc. VLDB Endow. (2008).","journal-title":"Daniel J. Abadi."},{"key":"e_1_3_2_1_24_1","volume-title":"Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol. In Architectural Support for Programming Languages and Operating Systems (ASPLOS).","author":"Katsarakis Antonios","year":"2020","unstructured":"Antonios Katsarakis , Vasilis Gavrielatos , M. R. Siavash Katebzadeh , Arpit Joshi , Aleksandar Dragojevic , Boris Grot , and Vijay Nagarajan . 2020 . Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol. In Architectural Support for Programming Languages and Operating Systems (ASPLOS). Antonios Katsarakis, Vasilis Gavrielatos, M. R. Siavash Katebzadeh, Arpit Joshi, Aleksandar Dragojevic, Boris Grot, and Vijay Nagarajan. 2020. Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol. In Architectural Support for Programming Languages and Operating Systems (ASPLOS)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387545"},{"key":"e_1_3_2_1_26_1","volume-title":"Fekete","author":"Kraska Tim","year":"2013","unstructured":"Tim Kraska , Gene Pang , Michael J. Franklin , Samuel Madden , and Alan D . Fekete . 2013 . MDCC : Multi-Data Center Consistency . In European Conference on Computer Systems (EuroSys). Tim Kraska, Gene Pang, Michael J. Franklin, Samuel Madden, and Alan D. Fekete. 2013. MDCC: Multi-Data Center Consistency. In European Conference on Computer Systems (EuroSys)."},{"key":"e_1_3_2_1_27_1","volume-title":"Cassandra: A Decentralized Structured Storage System. ACM SIGOPS Oper. Syst. Rev.","author":"Lakshman Avinash","year":"2010","unstructured":"Avinash Lakshman and Prashant Malik . 2010 . Cassandra: A Decentralized Structured Storage System. ACM SIGOPS Oper. Syst. Rev. (2010). Avinash Lakshman and Prashant Malik. 2010. Cassandra: A Decentralized Structured Storage System. ACM SIGOPS Oper. Syst. Rev. (2010)."},{"key":"e_1_3_2_1_28_1","volume-title":"Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM","author":"Lamport Leslie","year":"1978","unstructured":"Leslie Lamport . 1978. Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM ( 1978 ). Leslie Lamport. 1978. Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM (1978)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Leslie Lamport. 1998. The Part-Time Parliament. ACM Trans. Comput. Syst. (1998).  Leslie Lamport. 1998. The Part-Time Parliament. ACM Trans. Comput. Syst. (1998).","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_30_1","volume-title":"The SNOW Theorem and Latency-Optimal Read-Only Transactions. In Symposium on Operating Systems Design and Implementation (OSDI).","author":"Lu Haonan","year":"2016","unstructured":"Haonan Lu , Christopher Hodsdon , Khiem Ngo , Shuai Mu , and Wyatt Lloyd . 2016 . The SNOW Theorem and Latency-Optimal Read-Only Transactions. In Symposium on Operating Systems Design and Implementation (OSDI). Haonan Lu, Christopher Hodsdon, Khiem Ngo, Shuai Mu, and Wyatt Lloyd. 2016. The SNOW Theorem and Latency-Optimal Read-Only Transactions. In Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_31_1","volume-title":"Mencius: Building Efficient Replicated State Machine for WANs. In Symposium on Operating Systems Design and Implementation (OSDI).","author":"Mao Yanhua","year":"2008","unstructured":"Yanhua Mao , Flavio Paiva Junqueira , and Keith Marzullo . 2008 . Mencius: Building Efficient Replicated State Machine for WANs. In Symposium on Operating Systems Design and Implementation (OSDI). Yanhua Mao, Flavio Paiva Junqueira, and Keith Marzullo. 2008. Mencius: Building Efficient Replicated State Machine for WANs. In Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_32_1","volume-title":"There Is More Consensus in Egalitarian Parliaments. In Symposium on Operating Systems Principles (SOSP).","author":"Moraru Iulian","year":"2013","unstructured":"Iulian Moraru , David G. Andersen , and Michael Kaminsky . 2013 . There Is More Consensus in Egalitarian Parliaments. In Symposium on Operating Systems Principles (SOSP). Iulian Moraru, David G. Andersen, and Michael Kaminsky. 2013. There Is More Consensus in Egalitarian Parliaments. In Symposium on Operating Systems Principles (SOSP)."},{"key":"e_1_3_2_1_33_1","volume-title":"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 Symposium on Operating Systems Design and Implementation (OSDI). Shuai Mu, Lamont Nelson, Wyatt Lloyd, and Jinyang Li. 2016. Consolidating Concurrency Control and Consensus for Commits under Conflicts. In Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_34_1","volume-title":"Viewstamped Replication: A General Primary Copy. In Symposium on Principles of Distributed Computing (PODC).","author":"Brian","unstructured":"Brian M. Oki and Barbara Liskov. 1988 . Viewstamped Replication: A General Primary Copy. In Symposium on Principles of Distributed Computing (PODC). Brian M. Oki and Barbara Liskov. 1988. Viewstamped Replication: A General Primary Copy. In Symposium on Principles of Distributed Computing (PODC)."},{"key":"e_1_3_2_1_35_1","volume-title":"USENIX Annual Technical Conference (USENIX ATC).","author":"Ongaro Diego","unstructured":"Diego Ongaro and John K. Ousterhout . 2014. In Search of an Understandable Consensus Algorithm . In USENIX Annual Technical Conference (USENIX ATC). Diego Ongaro and John K. Ousterhout. 2014. In Search of an Understandable Consensus Algorithm. In USENIX Annual Technical Conference (USENIX ATC)."},{"key":"e_1_3_2_1_36_1","volume-title":"Large-scale Incremental Processing Using Distributed Transactions and Notifications. In 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 Symposium on Operating Systems Design and Implementation (OSDI). Daniel Peng and Frank Dabek. 2010. Large-scale Incremental Processing Using Distributed Transactions and Notifications. In Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_37_1","volume-title":"Limits. In International Symposium on Distributed Computing (DISC).","author":"Rezende Tuanir Fran\u00e7a","year":"2020","unstructured":"Tuanir Fran\u00e7a Rezende and Pierre Sutra . 2020 . Leaderless State-Machine Replication: Specification, Properties , Limits. In International Symposium on Distributed Computing (DISC). Tuanir Fran\u00e7a Rezende and Pierre Sutra. 2020. Leaderless State-Machine Replication: Specification, Properties, Limits. In International Symposium on Distributed Computing (DISC)."},{"key":"e_1_3_2_1_38_1","volume-title":"P-Store: Genuine Partial Replication in Wide Area Networks. In Symposium on Reliable Distributed Systems (SRDS).","author":"Schiper Nicolas","year":"2010","unstructured":"Nicolas Schiper , Pierre Sutra , and Fernando Pedone . 2010 . P-Store: Genuine Partial Replication in Wide Area Networks. In Symposium on Reliable Distributed Systems (SRDS). Nicolas Schiper, Pierre Sutra, and Fernando Pedone. 2010. P-Store: Genuine Partial Replication in Wide Area Networks. In Symposium on Reliable Distributed Systems (SRDS)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Fred B. Schneider. 1990. Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. ACM Comput. Surv. (1990).  Fred B. Schneider. 1990. Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. ACM Comput. Surv. (1990).","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_40_1","volume-title":"CockroachDB: The Resilient Geo-Distributed SQL Database. In 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 , Paul Bardea , Amruta Ranade , Ben Darnell , Bram Gruneir , Justin Jaffray , Lucy Zhang , and Peter Mattis . 2020 . CockroachDB: The Resilient Geo-Distributed SQL Database. In International Conference on Management of Data (SIGMOD). Rebecca Taft, Irfan Sharif, Andrei Matei, Nathan VanBenschoten, Jordan Lewis, Tobias Grieger, Kai Niemi, Andy Woods, Anne Birzin, Raphael Poss, Paul Bardea, Amruta Ranade, Ben Darnell, Bram Gruneir, Justin Jaffray, Lucy Zhang, and Peter Mattis. 2020. CockroachDB: The Resilient Geo-Distributed SQL Database. In International Conference on Management of Data (SIGMOD)."},{"key":"e_1_3_2_1_41_1","volume":"201","author":"Thomson Alexander","unstructured":"Alexander Thomson and Daniel J. Abadi. 201 0. The Case for Determinism in Database Systems. Proc. VLDB Endow. (2010). Alexander Thomson and Daniel J. Abadi. 2010. The Case for Determinism in Database Systems. Proc. VLDB Endow. (2010).","journal-title":"Daniel J. Abadi."},{"key":"e_1_3_2_1_42_1","volume":"201","author":"Thomson Alexander","unstructured":"Alexander Thomson , Thaddeus Diamond , Shu-Chun Weng , Kun Ren , Philip Shao , and Daniel J. Abadi. 201 2. Calvin: Fast Distributed Transactions for Partitioned Database Systems. In International Conference on Management of Data (SIGMOD). 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 International Conference on Management of Data (SIGMOD).","journal-title":"Daniel J. Abadi."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14472-6_3"},{"key":"e_1_3_2_1_44_1","volume-title":"Bipartisan Paxos: A Modular State Machine Replication Protocol. arXiv CoRR abs\/2003.00331","author":"Whittaker Michael","year":"2020","unstructured":"Michael Whittaker , Neil Giridharan , Adriana Szekeres , Joseph M. Hellerstein , and Ion Stoica . 2020 . Bipartisan Paxos: A Modular State Machine Replication Protocol. arXiv CoRR abs\/2003.00331 (2020). https:\/\/arxiv.org\/abs\/2003.00331 Michael Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, and Ion Stoica. 2020. Bipartisan Paxos: A Modular State Machine Replication Protocol. arXiv CoRR abs\/2003.00331 (2020). https:\/\/arxiv.org\/abs\/2003.00331"},{"key":"e_1_3_2_1_45_1","unstructured":"YugabyteDB. [n.d.]. Architecture > DocDB replication layer > Replication. https:\/\/docs.yugabyte.com\/latest\/architecture\/docdbreplication\/replication\/  YugabyteDB. [n.d.]. Architecture > DocDB replication layer > Replication. https:\/\/docs.yugabyte.com\/latest\/architecture\/docdbreplication\/replication\/"},{"key":"e_1_3_2_1_46_1","volume-title":"Building Consistent Transactions with Inconsistent Replication. In Symposium on Operating Systems Principles (SOSP).","author":"Zhang Irene","unstructured":"Irene Zhang , Naveen Kr. Sharma , Adriana Szekeres , Arvind Krishnamurthy , and Dan R. K. Ports . 2015 . Building Consistent Transactions with Inconsistent Replication. In Symposium on Operating Systems Principles (SOSP). Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, and Dan R. K. Ports. 2015. Building Consistent Transactions with Inconsistent Replication. In Symposium on Operating Systems Principles (SOSP)."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.14778\/3137765.3137778"}],"event":{"name":"EuroSys '21: Sixteenth European Conference on Computer Systems","location":"Online Event United Kingdom","acronym":"EuroSys '21","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Sixteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447786.3456236","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447786.3456236","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:10Z","timestamp":1750200070000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447786.3456236"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,21]]},"references-count":47,"alternative-id":["10.1145\/3447786.3456236","10.1145\/3447786"],"URL":"https:\/\/doi.org\/10.1145\/3447786.3456236","relation":{},"subject":[],"published":{"date-parts":[[2021,4,21]]},"assertion":[{"value":"2021-04-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}