[92] Marcos Kawazoe Aguilera et al. "Thrifty Generic Broadcast". In: *Distributed Computing, 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000, Proceedings*. Ed. by Maurice Herlihy. Vol. 1914. Lecture Notes in Computer Science. Springer, 2000, pp. 268-282.
DOI: 10.1007/3-540-40026-5_18. URL: https://doi.org/10.1007/3-540-40026-5%5C_18.

[93] Bernadette Charron-Bost, Rachid Guerraoui, and Andre Schiper. "Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue". In: *Proceedings of the 2000 International Conference on Dependable Systems and Networks (Formerly FTCS-30 and DCCA-8)*. DSN '00. USA: IEEE Computer Society, 2000, pp. 523-532. ISBN: 0769507077.

[94] Carole Delporte-Gallet and Hugues Fauconnier. "Fault-Tolerant Genuine Atomic Multicast to Multiple Groups". In: *Proceedings of the 4th International Conference on Principles of Distributed Systems, OPODIS 2000, Paris, France, December 20-22, 2000*. Ed. by Franck Butelle. Studia Informatica Universalis. Suger, rue Catulienne Saint-Denis France, 2000, pp. 107-122.

[95] Rachid Guerraoui. "Indulgent algorithms (preliminary version)". In: *PODC '00*. Portland, Oregon, United States: ACM, 2000, pp. 289-297. ISBN: 1-58113-183-6.

[96] M. Herlihy and E. Ruppert. "On the existence of booster types". In: *Proceedings 41st Annual Symposium on Foundations of Computer Science*. 2000, pp. 653-663. DOI: 10.1109/SFCS.2000.892333.

[97] Bettina Kemme and Gustavo Alonso. "A new approach to developing and implementing eager database replication protocols". In: *ACM Transactions on Database Systems* 25.3 (2000), pp. 333-379. URL: citeseer.ist.psu.edu/kemme00new.html.

[98] Bettina Kemme and Gustavo Alonso. "Don't Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication". In: *VLDB 2000, Proceedings of 26th International Conference on Very Large Data Bases, September 10-14, 2000, Cairo, Egypt*. Ed. by Amr El Abbadi et al. Morgan Kaufmann, 2000, pp. 134-143. URL: http://www.vldb.org/conf/2000/P134.pdf.

[99] Wai-Kau Lo and Vassos Hadzilacos. "All of Us Are Smarter than Any of Us: Nondeterministic Wait-Free Hierarchies Are Not Robust". In: *SIAM Journal on Computing* 30.3 (2000), pp. 689-728. DOI: 10.1137/S0097539798335766.

[100] M. Wiesmann et al. "Understanding replication in databases and distributed systems". In: *Proceedings of 20th International Conference on Distributed Computing Systems (ICDCS'2000)*. Taipei, Taiwan, R.O.C.: IEEE Computer Society Technical Committee on Distributed Processing, 2000, pp. 264-274. URL: citeseer.ist.psu.edu/wiesmann00understanding.html.

[101] Matthias Wiesmann et al. "Database Replication Techniques: A Three Parameter Classification". In: *19th IEEE Symposium on Reliable Distributed Systems, SRDS'00, Nürnberg, Germany, October 16-18, 2000, Proceedings*. IEEE Computer Society, 2000, pp. 206-215. DOI: 10.1109/RELDI.2000.885408. URL: https://doi.org/10.1109/RELDI.2000.885408.

[102] Hagit Attiya and Arie Fouren. "Adaptive and Efficient Algorithms for Lattice Agreement and Renaming". In: *SIAM J. Comput.* 31.2 (2001), pp. 642-664. DOI: 10.1137/S0097539700366000. URL: https://doi.org/10.1137/S0097539700366000.
[103] Yan Gu, Bu-Sung Lee, and Wentong Cai. "JBSP: A BSP Programming Library in Java". In: *Journal of Parallel and Distributed Computing* 61.8 (2001), pp. 1126-1142. ISSN: 0743-7315. DOI: https://doi.org/10.1006/jpdc.2001.1735. URL: https://www.sciencedirect.com/science/article/pii/S0743731501917356.

[104] Rachid Guerraoui and André Schiper. "Genuine atomic multicast in asynchronous distributed systems". In: *Theor. Comput. Sci.* 254.1-2 (2001), pp. 297-316. DOI: 10.1016/S0304-3975(99)00161-9. URL: https://doi.org/10.1016/S0304-3975(99)00161-9.

[105] Joseph Y. Halpern, Yoram Moses, and Orli Waarts. "A Characterization of Eventual Byzantine Agreement". In: *SIAM J. Comput.* 31.3 (2001), pp. 838-865. DOI: 10.1137/S0097539798340217. URL: https://doi.org/10.1137/S0097539798340217.

[106] Udo Fritzke Jr. et al. "Consensus-Based Fault-Tolerant Total Order Multicast". In: *IEEE Trans. Parallel Distributed Syst.* 12.2 (2001), pp. 147-156. DOI: 10.1109/71.910870. URL: https://doi.org/10.1109/71.910870.

[107] Leslie Lamport. "Paxos Made Simple". In: *Sigact News* - SIGACT 32 (Jan. 2001).

[108] Butler Lampson. "The ABCD's of Paxos". In: *Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing*. PODC '01. Newport, Rhode Island, USA: Association for Computing Machinery, 2001, p. 13. ISBN: 1581133839. DOI: 10.1145/383962.383969. URL: https://doi.org/10.1145/383962.383969.

[109] António Luís Pinto Ferreira de Sousa et al. "Partial Replication in the Database State Machine". In: *IEEE International Symposium on Network Computing and Applications (NCA 2001), October 8-10, 2001, Cambridge, MA, USA*. IEEE Computer Society, 2001, pp. 298-309. DOI: 10.1109/NCA.2001.962546. URL: https://doi.org/10.1109/NCA.2001.962546.

[110] Ion Stoica et al. "Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications". In: *SIGCOMM Comput. Commun. Rev.* 31.4 (Aug. 2001), pp. 149-160. ISSN: 0146-4833. DOI: 10.1145/964723.383071. URL: https://doi.org/10.1145/964723.383071.

[111] Ion Stoica et al. "Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications". In: *Proceedings of the 2001 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications*. SIGCOMM '01. San Diego, California, USA: Association for Computing Machinery, 2001, pp. 149-160. ISBN: 1581134118. DOI: 10.1145/383059.383071. URL: https://doi.org/10.1145/383059.383071.

[112] Hagit Attiya and Vita Bortnikov. "Adaptive and efficient mutual exclusion". In: *Distributed Comput.* 15.3 (2002), pp. 177-189. DOI: 10.1007/s004460100068. URL: https://doi.org/10.1007/s004460100068.

[113] Carole Delporte-Gallet, Hugues Fauconnier, and Rachid Guerraoui. "A Realistic Look At Failure Detectors". In: *2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings*. IEEE Computer Society, 2002, pp. 345-353. DOI: 10.1109/DSN.2002.1028919. URL: https://doi.org/10.1109/DSN.2002.1028919.

[114] Partha Dutta and Rachid Guerraoui. "Fast Indulgent Consensus with Zero Degradation". In: *Proceedings of the 4th European Dependable Computing Conference on Dependable Computing*. EDCC-4. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 191-208. ISBN: 3540000127.
[115] Seth Gilbert and Nancy Lynch. "Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services". In: *SIGACT News* 33.2 (2002), pp. 51–59.

[116] Ricardo Jiménez-Peris et al. "Improving the Scalability of Fault-Tolerant Database Clusters". In: *Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002*. IEEE Computer Society, 2002, pp. 477–484. DOI: 10.1109/ICDCS.2002.1022297. URL: https://doi.org/10.1109/ICDCS.2002.1022297.

[117] F. Pedone and A. Schiper. "Handling message semantics with Generic Broadcast protocols". In: *Distributed Computing* 15 (2002), pp. 97–107.

[118] Bernadette Charron-Bost. "Comparing the Atomic Commitment and Consensus Problems". In: *Future Directions in Distributed Computing: Research and Position Papers*. Ed. by André Schiper et al. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003, pp. 29–34. ISBN: 978-3-540-37795-5. DOI: 10.1007/3-540-37795-6_6. URL: https://doi.org/10.1007/3-540-37795-6_6.

[119] J. Holliday et al. "Epidemic algorithms for replicated databases". In: *IEEE Transactions on Knowledge and Data Engineering* 15.5 (2003), pp. 1218–1238. DOI: 10.1109/TKDE.2003.1232274.

[120] Fernando Pedone, Rachid Guerraoui, and André Schiper. "The Database State Machine Approach". In: *Distributed Parallel Databases* 14.1 (2003), pp. 71–98. DOI: 10.1023/A:1022887812188. URL: https://doi.org/10.1023/A:1022887812188.

[121] Emmanuel Cecchet, Julie Marguerite, and Willy Zwaenepole. "C-JDBC: Flexible Database Clustering Middleware". In: *Proceedings of the Annual Conference on USENIX Annual Technical Conference. ATEC '04*. Boston, MA: USENIX Association, 2004, p. 26.

[122] Xavier Défago, André Schiper, and Péter Urbán. "Total Order Broadcast and Multicast Algorithms: Taxonomy and Survey". In: *ACM Comput. Surv.* 36.4 (Dec. 2004), pp. 372–421. ISSN: 0360-0300. DOI: 10.1145/1041680.1041682. URL: https://doi.org/10.1145/1041680.1041682.

[123] Xavier Défago, André Schiper, and Péter Urbán. "Total order broadcast and multicast algorithms: Taxonomy and survey". In: *ACM Comput. Surv.* 36.4 (2004), pp. 372–421. DOI: 10.1145/1041680.1041682. URL: https://doi.org/10.1145/1041680.1041682.

[124] Carole Delporte-Gallet et al. "The weakest failure detectors to solve certain fundamental problems in distributed computing". In: *Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004*. 2004, pp. 338–346. DOI: 10.1145/1011767.1011818. URL: https://doi.org/10.1145/1011767.1011818.

[125] Rachid Guerraoui and Michel Raynal. "The Information Structure of Indulgent Consensus". In: *IEEE Trans. Computers* 53.4 (2004), pp. 453–466. DOI: 10.1109/TC.2004.1268403. URL: https://doi.org/10.1109/TC.2004.1268403.

[126] Robbert van Renesse and Fred B. Schneider. "Chain Replication for Supporting High Throughput and Availability". In: *Proceedings of the 6th Conference on Symposium on Operating Systems Design & Implementation - Volume 6*. OSDI'04. San Francisco, CA: USENIX Association, 2004, p. 7.
[127] Amitanand S. Aiyer et al. "BAR fault tolerance for cooperative services". In: *Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23-26, 2005*. Ed. by Andrew Herbert and Kenneth P. Birman. ACM, 2005, pp. 45-58.
DOI: 10.1145/1095810.1095816. URL: https://doi.org/10.1145/1095810.1095816.

[128] Hagit Attiya, Rachid Guerraoui, and Petr Kouznetsov. "Computing with Reads and Writes in the Absence of Step Contention". In: *Distributed Computing: 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005. Proceedings*. Ed. by Pierre Fraigniaud. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005, pp. 122-136. ISBN: 978-3-540-32075-3. DOI: 10.1007/11561927_11. URL: http://dx.doi.org/10.1007/11561927_11.

[129] Partha Dutta, Rachid Guerraoui, and Leslie Lamport. "How Fast Can Eventual Synchrony Lead to Consensus?" In: *2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings*. IEEE Computer Society, 2005, pp. 22-27. DOI: 10.1109/DSN.2005.54. URL: https://doi.org/10.1109/DSN.2005.54.

[130] John Goodacre and Andrew N. Sloss. "Parallelism and the ARM Instruction Set Architecture". In: *Computer* 38.7 (July 2005), pp. 42-50. ISSN: 0018-9162. DOI: 10.1109/MC.2005.239. URL: https://doi.org/10.1109/MC.2005.239.

[131] Petr Kuznetsov. "Synchronization using failure detectors". PhD thesis. EPFL, Jan. 2005. DOI: 10.5075/epfl-thesis-3262.

[132] Leslie Lamport. *Generalized Consensus and Paxos*. Tech. rep. MSR-TR-2005-33. Microsoft, Mar. 2005.

[133] Jeremy Manson, William Pugh, and Sarita V. Adve. "The Java Memory Model". In: *SIGPLAN Not*. 40.1 (Jan. 2005), pp. 378-391. ISSN: 0362-1340. DOI: 10.1145/1047659.1040336. URL: https://doi.org/10.1145/1047659.1040336.

[134] Jeremy Manson, William Pugh, and Sarita V. Adve. "The Java Memory Model". In: *Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages*. POPL '05. Long Beach, California, USA: Association for Computing Machinery, 2005, pp. 378-391. ISBN: 158113830X. DOI: 10.1145/1040305.1040336. URL: https://doi.org/10.1145/1040305.1040336.

[135] Esther Pacitti et al. "Preventive Replication in a Database Cluster". In: *Distributed Parallel Databases* 18.3 (2005), pp. 223-251. DOI: 10.1007/s10619-005-4257-4. URL: https://doi.org/10.1007/s10619-005-4257-4.

[136] Marta Patiño-Martínez et al. "MIDDLE-R: Consistent database replication at the middle-ware level". In: *ACM Trans. Comput. Syst*. 23.4 (2005), pp. 375-423. DOI: 10.1145/1113574.1113576. URL: https://doi.org/10.1145/1113574.1113576.

[137] Matthias Wiesmann and André Schiper. "Comparison of Database Replication Techniques Based on Total Order Broadcast". In: *IEEE Transactions on Knowledge and Data Engineering* 17.4 (2005), pp. 551-566. ISSN: 1041-4347.

[138] Shuqing Wu and Bettina Kemme. "Postgres-R(SI): Combining Replica Control with Concurrency Control Based on Snapshot Isolation". In: *Proceedings of the 21st International Conference on Data Engineering*. ICDE '05. USA: IEEE Computer Society, 2005, pp. 422-433. ISBN: 0769522858. DOI: 10.1109/ICDE.2005.108. URL: https://doi.org/10.1109/ICDE.2005.108.
[139] Piotr Zielinski. "Optimistic Generic Broadcast". In: *Distributed Computing, 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings*. Ed. by Pierre Fraigniaud. Vol. 3724. Lecture Notes in Computer Science. Springer, 2005, pp. 369-383. DOI: 10.1007/11561927\_27. URL: https://doi.org/10.1007/11561927%5C_27.

[140] T. Anker et al. "Wire-speed total order". In: *Proceedings 20th IEEE International Parallel & Distributed Processing Symposium*. 2006. DOI: 10.1109/IPDPS.2006.1639381.

[141] Hagit Attiya et al. "Efficient adaptive collect using randomization". In: *Distributed Comput*. 18.3 (2006), pp. 179-188. DOI: 10.1007/s00446-005-0143-6. URL: https://doi.org/10.1007/s00446-005-0143-6.

[142] Mike Burrows. "The Chubby lock service for loosely-coupled distributed systems". In: *OSDI '06: Proceedings of the 7th symposium on Operating systems design and implementation*. Seattle, Washington: USENIX Association, 2006, pp. 335-350. ISBN: 1-931971-47-1.

[143] Fay Chang et al. "Bigtable: A Distributed Storage System for Structured Data". In: *Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7*. OSDI '06. Seattle, WA: USENIX Association, 2006, p. 15.

[144] Dan Dobre and Neeraj Suri. "One-step Consensus with Zero-Degradation". In: *2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings*. IEEE Computer Society, 2006, pp. 137-146. DOI: 10.1109/DSN.2006.55. URL: https://doi.org/10.1109/DSN.2006.55.

[145] Jim Gray and Leslie Lamport. "Consensus on transaction commit". In: *ACM Trans. Database Syst*. 31.1 (2006), pp. 133-160. DOI: 10.1145/1132863.1132867. URL: https://doi.org/10.1145/1132863.1132867.

[146] Leslie Lamport. "Lower bounds for asynchronous consensus". In: *Distributed Computing* 19.2 (Oct. 2006), pp. 104-125. ISSN: 0178-2770.

[147] Jacob R. Lorch et al. "The SMART Way to Migrate Replicated Stateful Services". In: *Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006*. EuroSys '06. Leuven, Belgium: Association for Computing Machinery, 2006, pp. 103-115. ISBN: 1595933220. DOI: 10.1145/1217935.1217946. URL: https://doi.org/10.1145/1217935.1217946.

[148] Jacob R. Lorch et al. "The SMART Way to Migrate Replicated Stateful Services". In: *SIGOPS Oper. Syst. Rev*. 40.4 (Apr. 2006), pp. 103-115. ISSN: 0163-5980. DOI: 10.1145/1218063.1217946. URL: https://doi.org/10.1145/1218063.1217946.

[149] Michel Raynal and Corentin Travers. "In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement". In: *Principles of Distributed Systems, 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings*. Ed. by Alexander A. Shvartsman. Vol. 4305. Lecture Notes in Computer Science. Springer, 2006, pp. 3-19. DOI: 10.1007/11945529\_2. URL: https://doi.org/10.1007/11945529%5C_2.

[151] B. Ban. *JGroups: A Toolkit for Reliable Multicast Communication*. 2007. URL: http://www.jgroups.org.
[152] Lásaro J. Camargos, Rodrigo Schmidt, and Fernando Pedone. "Multicoordinated Paxos". In: *Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007*. Ed. by Indranil Gupta and Roger Wattenhofer. ACM, 2007, pp. 316–317. DOI: 10.1145/1281100.1281150. URL: https://doi.org/10.1145/1281100.1281150.

[153] Tushar D. Chandra, Robert Griesemer, and Joshua Redstone. "Paxos Made Live: An Engineering Perspective". In: *Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing*. PODC '07. Portland, Oregon, USA: Association for Computing Machinery, 2007, pp. 398–407. ISBN: 9781595936165. DOI: 10.1145/1281100.1281103. URL: https://doi.org/10.1145/1281100.1281103.

[154] Giuseppe DeCandia et al. "Dynamo: amazon's highly available key-value store". In: *Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007*. Ed. by Thomas C. Bressoud and M. Frans Kaashoek. ACM, 2007, pp. 205–220. DOI: 10.1145/1294261.1294281. URL: https://doi.org/10.1145/1294261.1294281.

[155] Rachid Guerraoui and Michel Raynal. "The Alpha of Indulgent Consensus". In: *Comput. J.* 50.1 (2007), pp. 53–67. DOI: 10.1093/comjnl/bxl046. URL: https://doi.org/10.1093/comjnl/bxl046.

[156] Rachid Guerraoui and Michel Raynal. "The Alpha of Indulgent Consensus". In: *Comput. J.* 50.1 (2007), pp. 53–67. DOI: 10.1093/comjnl/bxl046. URL: https://doi.org/10.1093/comjnl/bxl046.

[157] Rachid Guerraoui et al. "On the Weakest Failure Detector Ever". In: *Proceedings of the Twenty-sixth Annual ACM Symposium on Principles of Distributed Computing*. PODC '07. Portland, Oregon, USA: ACM, 2007, pp. 235–243. ISBN: 978-1-59593-616-5. DOI: 10.1145/1281100.1281135. URL: http://doi.acm.org/10.1145/1281100.1281135.

[159] Murali Krishna Ramanathan et al. "Randomized leader election". In: *Distributed Computing* 19 (2007), pp. 403–418.

[160] Rodrigo Schmidt and Fernando Pedone. "A Formal Analysis of the Deferred Update Technique". In: *Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings*. Ed. by Eduardo Tovar, Philippas Tsigas, and Hacène Fouchal. Vol. 4878. Lecture Notes in Computer Science. Springer, 2007, pp. 16–30. DOI: 10.1007/978-3-540-77096-1_2. URL: https://doi.org/10.1007/978-3-540-77096-1_2.

[161] Damián Serrano et al. "Boosting Database Replication Scalability through Partial Replication and 1-Copy-Snapshot-Isolation". In: *13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia*. IEEE Computer Society, 2007, pp. 290–297. DOI: 10.1109/PRDC.2007.39. URL: https://doi.org/10.1109/PRDC.2007.39.

[164] Amazon. *AWS Simple Storage Service*. https://aws.amazon.com/s3. 2008.
[165] J. E. Armendáriz-Iñigo et al. "SIPRe: A Partial Database Replication Protocol with SI Replicas". In: *Proceedings of the 2008 ACM Symposium on Applied Computing*. SAC '08. Fortaleza, Ceara, Brazil: Association for Computing Machinery, 2008, pp. 2181-2185. ISBN: 9781595937537. DOI: 10.1145/1363686.1364207. URL: https://doi.org/10.1145/1363686.1364207.

[166] Hagit Attiya and Keren Censor. "Lower Bounds for Randomized Consensus under a Weak Adversary". In: *Proceedings of the Twenty-Seventh ACM Symposium on Principles of Distributed Computing*. PODC '08. Toronto, Canada: Association for Computing Machinery, 2008, pp. 315-324. ISBN: 9781595939890. DOI: 10.1145/1400751.1400793. URL: https://doi.org/10.1145/1400751.1400793.

[167] Hagit Attiya and Keren Censor. "Tight Bounds for Asynchronous Randomized Consensus". In: *J. ACM* 55.5 (Nov. 2008). ISSN: 0004-5411. DOI: 10.1145/1411509.1411510. URL: https://doi.org/10.1145/1411509.1411510.

[169] Brian F. Cooper et al. "PNUTS: Yahoo!'s Hosted Data Serving Platform". In: *Proc. VLDB Endow*. 1.2 (Aug. 2008), pp. 1277-1288. ISSN: 2150-8097. DOI: 10.14778/1454159.1454167. URL: https://doi.org/10.14778/1454159.1454167.

[170] Carole Delporte-Gallet et al. "The Weakest Failure Detector for Message Passing Set-Agreement". In: *Distributed Computing, 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings*. Ed. by Gadi Taubenfeld. Vol. 5218. Lecture Notes in Computer Science. Springer, 2008, pp. 109-120. DOI: 10.1007/978-3-540-87779-0\_8. URL: https://doi.org/10.1007/978-3-540-87779-0\_8.

[171] Pascal Felber, Christof Fetzer, and Torvald Riegel. "Dynamic Performance Tuning of Word-Based Software Transactional Memory". In: *Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming*. PPoPP '08. Salt Lake City, UT, USA: Association for Computing Machinery, 2008, pp. 237-246. ISBN: 9781595937957. DOI: 10.1145/1345206.1345241. URL: https://doi.org/10.1145/1345206.1345241.

[172] Rachid Guerraoui, Thomas A. Henzinger, and Vasu Singh. "Permissiveness in Transactional Memories". In: *Distributed Computing, 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings*. Ed. by Gadi Taubenfeld. Vol. 5218. Lecture Notes in Computer Science. Springer, 2008, pp. 305-319. DOI: 10.1007/978-3-540-87779-0\_21. URL: https://doi.org/10.1007/978-3-540-87779-0\_21.

[173] Rachid Guerraoui and Michal Kapalka. "On Obstruction-Free Transactions". In: *Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures*. SPAA '08. Munich, Germany: Association for Computing Machinery, 2008, pp. 304-313. ISBN: 9781595939739. DOI: 10.1145/1378533.1378587. URL: https://doi.org/10.1145/1378533.1378587.

[174] Rachid Guerraoui and Michal Kapalka. "On the Correctness of Transactional Memory". In: *Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming*. PPoPP '08. Salt Lake City, UT, USA: ACM, 2008, pp. 175-184. ISBN: 978-1-59593-795-7. DOI: 10.1145/1345206.1345233. URL: http://doi.acm.org/10.1145/1345206.1345233.
[175] Stavros Harizopoulos et al. "OLTP through the looking glass, and what we found there". In: *Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008*. Ed. by Jason Tsong-Li Wang. ACM, 2008, pp. 981-992. DOI: 10.1145/1376616.1376713. URL: https://doi.org/10.1145/1376616.1376713.

[176] Prasad Jayanti and Sam Toueg. "Every problem has a weakest failure detector". In: *Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC 2008, Toronto, Canada, August 18-21, 2008*. Ed. by Rida A. Bazzi and Boaz Patt-Shamir. ACM, 2008, pp. 75-84. DOI: 10.1145/1400751.1400763. URL: https://doi.org/10.1145/1400751.1400763.

[177] Robert Kallman et al. "H-store: a high-performance, distributed main memory transaction processing system". In: *Proc. VLDB Endow*. 1.2 (2008), pp. 1496-1499. DOI: 10.14778/1454159.1454211. URL: http://www.vldb.org/pvldb/vol1/1454211.pdf.

[178] Yanhua Mao, Flavio Paiva Junqueira, and Keith Marzullo. "Mencius: Building Efficient Replicated State Machine for WANs". In: *Symposium on Operating Systems Design and Implementation (OSDI)*. 2008.

[179] Yoram Moses and Michel Raynal. "No Double Discount: Condition-Based Simultaneity Yields Limited Gain". In: *Distributed Computing, 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings*. Ed. by Gadi Taubenfeld. Vol. 5218. Lecture Notes in Computer Science. Springer, 2008, pp. 423-437. DOI: 10.1007/978-3-540-87779-0\_29. URL: https://doi.org/10.1007/978-3-540-87779-0\_29.

[180] Nicolas Schiper and Fernando Pedone. "Solving Atomic Multicast When Groups Crash". In: *Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings*. Ed. by Theodore P. Baker, Alain Bui, and Sébastien Tixeuil. Vol. 5401. Lecture Notes in Computer Science. Springer, 2008, pp. 481-495. DOI: 10.1007/978-3-540-92221-6\_30. URL: https://doi.org/10.1007/978-3-540-92221-6\_30.

[181] Damián Serrano et al. "An Autonomic Approach for Replication of Internet-based Services". In: *27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), Napoli, Italy, October 6-8, 2008*. IEEE Computer Society, 2008, pp. 127-136. DOI: 10.1109/SRDS.2008.22. URL: https://doi.org/10.1109/SRDS.2008.22.

[184] Piotr Zielinski. "Anti-Ω: The Weakest Failure Detector for Set Agreement". In: *Proceedings of the Twenty-Seventh ACM Symposium on Principles of Distributed Computing*. PODC '08. Toronto, Canada: Association for Computing Machinery, 2008, pp. 55-64. ISBN: 9781595939890. DOI: 10.1145/1400751.1400761. URL: https://doi.org/10.1145/1400751.1400761.

[185] Marcos Kawazoe Aguilera et al. "Sinfonia: A new paradigm for building scalable distributed systems". In: *ACM Trans. Comput. Syst*. 27.3 (2009), 5:1-5:48. DOI: 10.1145/1629087.1629088. URL: https://doi.org/10.1145/1629087.1629088.

[186] Hagit Attiya, Eshcar Hillel, and Alessia Milani. "Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory". In: *Proceedings of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architectures*. SPAA '09. Calgary, AB, Canada: Association for Computing Machinery, 2009, pp. 69-78. ISBN: 9781605586069. DOI: 10.1145/1583991.1584015. URL: https://doi.org/10.1145/1583991.1584015.
[187] François Bonnet and Michel Raynal. "Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is $\{\it\Pi\}_k\{\it\Pi\}_k$ the End of the Road?" In: *Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings*. Ed. by Rachid Guerraoui and Franck Petit. Vol. 5873. Lecture Notes in Computer Science. Springer, 2009, pp. 149-164. DOI: 10.1007/978-3-642-05118-0\_11. URL: https://doi.org/10.1007/978-3-642-05118-0%5C_11.

[188] François Bonnet and Michel Raynal. "Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is $\{\it\Pi\}_k\{\it\Pi\}_k$ the End of the Road?" In: *Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings*. Ed. by Rachid Guerraoui and Franck Petit. Vol. 5873. Lecture Notes in Computer Science. Springer, 2009, pp. 149-164. DOI: 10.1007/978-3-642-05118-0\_11. URL: https://doi.org/10.1007/978-3-642-05118-0%5C_11.

[189] Bernadette Charron-Bost and André Schiper. "The Heard-Of model: computing in distributed systems with benign faults". In: *Distributed Computing* 22.1 (2009), pp. 49-71.

[190] Bernadette Charron-Bost and André Schiper. "The Heard-Of model: computing in distributed systems with benign faults". In: *Distributed Comput*. 22.1 (2009), pp. 49-71. DOI: 10.1007/s00446-009-0084-6. URL: https://doi.org/10.1007/s00446-009-0084-6.

[191] Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis. "Model Checking: Algorithmic Verification and Debugging". In: *Commun. ACM* 52.11 (Nov. 2009), pp. 74-84. ISSN: 0001-0782. DOI: 10.1145/1592761.1592781. URL: https://doi.org/10.1145/1592761.1592781.

[192] Eli Gafni and Petr Kuznetsov. "The weakest failure detector for solving k-set agreement". In: *Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009*. Ed. by Srikanta Tirthapura and Lorenzo Alvisi. ACM, 2009, pp. 83-91. DOI: 10.1145/1582716.1582735. URL: https://doi.org/10.1145/1582716.1582735.

[193] Leslie Lamport, Dahlia Malkhi, and Lidong Zhou. "Vertical Paxos and Primary-Backup Replication". In: *Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, PODC '09*. Calgary, AB, Canada: Association for Computing Machinery, 2009, pp. 312-313. ISBN: 9781605583969. DOI: 10.1145/1582716.1582783. URL: https://doi.org/10.1145/1582716.1582783.

[194] Leslie Lamport, Dahlia Malkhi, and Lidong Zhou. "Vertical Paxos and Primary-backup Replication". In: *Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, PODC '09*. Calgary, AB, Canada: ACM, 2009, pp. 312-313. ISBN: 978-1-60558-396-9. DOI: 10.1145/1582716.1582783. URL: http://doi.acm.org/10.1145/1582716.1582783.

[196] Giuliana Santos Veronese et al. "Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary". In: *28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27-30, 2009*. IEEE Computer Society, 2009, pp. 135-144. DOI: 10.1109/SRDS.2009.36. URL: https://doi.org/10.1109/SRDS.2009.36.
[197] James Aspnes. "A Modular Approach to Shared-memory Consensus, with Applications to the Probabilistic-write Model". In: *Proceedings of the 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing*. PODC '10. Zurich, Switzerland: ACM, 2010, pp. 460-467. ISBN: 978-1-60558-888-9. DOI: 10.1145/1835698.1835802. URL: http://doi.acm.org/10.1145/1835698.1835802.

[198] François Bonnet and Michel Raynal. "A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems". In: *Inf. Process. Lett.* 110.4 (2010), pp. 153-157. DOI: 10.1016/j.ipl.2009.11.011. URL: https://doi.org/10.1016/j.ipl.2009.11.011.

[199] Zohir Bouzid and Corentin Travers. "(anti-Omega<sup>x</sup> ×Sigma<sub>z</sub>)-Based k-Set Agreement Algorithms". In: *Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings*. Ed. by Chenyang Lu, Toshimitsu Masuzawa, and Mohamed Mosbah. Vol. 6490. Lecture Notes in Computer Science. Springer, 2010, pp. 189-204. DOI: 10.1007/978-3-642-17653-1_16. URL: https://doi.org/10.1007/978-3-642-17653-1_5C_16.

[200] Bernadette Charron-Bost, Martin Hutle, and Josef Widder. "In search of lost time". In: *Inf. Process. Lett.* 110.21 (2010), pp. 928-933. DOI: 10.1016/j.ipl.2010.07.017. URL: https://doi.org/10.1016/j.ipl.2010.07.017.

[201] Kristina Chodorow and Michael Dirolf. *MongoDB - The Definitive Guide: Powerful and Scalable Data Storage*. O'Reilly, 2010, pp. I-XVII, 1-193. ISBN: 978-1-449-38156-1.

[202] Brian F. Cooper et al. "Benchmarking Cloud Serving Systems with YCSB". In: *Symposium on Cloud Computing (SoCC)*. 2010.

[203] Patrick Hunt et al. "ZooKeeper: Wait-free Coordination for Internet-scale Systems". In: *USENIX Annual Technical Conference (USENIX ATC)*. 2010.

[204] Evan P.C. Jones, Daniel J. Abadi, and Samuel Madden. "Low Overhead Concurrency Control for Partitioned Main Memory Databases". In: *Proceedings of the 2010 ACM SIGMOD International Conference on Management of Data*. SIGMOD '10. Indianapolis, Indiana, USA: Association for Computing Machinery, 2010, pp. 603-614. ISBN: 9781450300322. DOI: 10.1145/1807167.1807233. URL: https://doi.org/10.1145/1807167.1807233.

[205] Avinash Lakshman and Prashant Malik. "Cassandra: a decentralized structured storage system". In: *ACM SIGOPS Oper. Syst. Rev.* 44.2 (2010), pp. 35-40. DOI: 10.1145/1773912.1773922. URL: https://doi.org/10.1145/1773912.1773922.

[206] Parisa J. Marandi et al. "Ring Paxos: A High-Throughput Atomic Broadcast Protocol". In: (2010).

[207] Robbert van Renesse and Rachid Guerraoui. "Replication Techniques for Availability". In: *Replication: Theory and Practice*. Ed. by Bernadette Charron-Bost, Fernando Pedone, and André Schiper. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 19-40. ISBN: 978-3-642-11294-2. DOI: 10.1007/978-3-642-11294-2_2. URL: https://doi.org/10.1007/978-3-642-11294-2_2.

[209] Marco Serafini et al. "Eventually Linearizable Shared Objects". In: *Proceedings of the 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing*. PODC '10. Zurich, Switzerland: Association for Computing Machinery, 2010, pp. 95-104. ISBN: 9781605588889. DOI: 10.1145/1835698.1835723. URL: https://doi.org/10.1145/1835698.1835723.
[210] Tom Shanley. *X86 Instruction Set Architecture*. Mindshare Press, 2010. ISBN: 0977087859.

[211] Konstantin V. Shvachko. "HDFS Scalability: The Limits to Growth". In: USENIX login 35.2 (Apr. 2010).

[212] Alexander Thomson and Daniel J. Abadi. "The Case for Determinism in Database Systems". In: Proc. VLDB Endow. 3.1 (2010), pp. 70–80. DOI: 10.14778/1920841.1920855. URL: http://www.vldb.org/pvldb/vldb2010/pvldb%5C_vol3/R06.pdf.

[213] Marcos Kawazoe Aguilera et al. "Dynamic atomic storage without consensus". In: J. ACM 58.2 (2011), 7:1–7:32. DOI: 10.1145/1944345.1944348. URL: https://doi.org/10.1145/1944345.1944348.

[214] Jason Baker et al. "Megastore: Providing Scalable, Highly Available Storage for Interactive Services". In: Proceedings of the Conference on Innovative Data system Research (CIDR). 2011, pp. 223–234. URL: http://www.cidrdb.org/cidr2011/Papers/CIDR11_Paper32.pdf.

[216] Felix C. Freiling, Rachid Guerraoui, and Petr Kuznetsov. "The Failure Detector Abstraction". In: ACM Comput. Surv. 43.2 (Feb. 2011). ISSN: 0360-0300. DOI: 10.1145/1883612.1883616. URL: https://doi.org/10.1145/1883612.1883616.

[217] Felix C. Freiling, Rachid Guerraoui, and Petr Kuznetsov. "The Failure Detector Abstraction". In: ACM Comput. Surv. 43.2 (Feb. 2011). ISSN: 0360-0300. DOI: 10.1145/1883612.1883616. URL: https://doi.org/10.1145/1883612.1883616.

[218] Felix C. Freiling, Rachid Guerraoui, and Petr Kuznetsov. "The failure detector abstraction". In: ACM Comput. Surv. 43.2 (2011), 9:1–9:40. DOI: 10.1145/1883612.1883616. URL: https://doi.org/10.1145/1883612.1883616.

[219] Lisa Glendenning et al. "Scalable Consistency in Scatter". In: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles. SOSP '11. Cascais, Portugal: Association for Computing Machinery, 2011, pp. 15–28. ISBN: 9781450309776. DOI: 10.1145/2043556.2043559. URL: https://doi.org/10.1145/2043556.2043559.

[220] Maurice Herlihy and Nir Shavit. "On the Nature of Progress". In: Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. Ed. by Antonio Fernández Anta, Giuseppe Lipari, and Matthieu Roy. Vol. 7109. Lecture Notes in Computer Science. Springer, 2011, pp. 313–328. DOI: 10.1007/978-3-642-25873-2_22. URL: https://doi.org/10.1007/978-3-642-25873-2%5C_22.

[221] Flavio Paiva Junqueira, Benjamin C. Reed, and Marco Serafini. "Zab: High-performance broadcast for primary-backup systems". In: Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011. IEEE Compute Society, 2011, pp. 245–256. DOI: 10.1109/DSN.2011.5958223. URL: https://doi.org/10.1109/DSN.2011.5958223.

[222] P.J. Marandi, M. Primi, and F. Pedone. "High performance state-machine replication". In: IEEE/IFIP 41st International Conference on Dependable Systems and Networks. DSN. 2011.
[224] Marc Shapiro et al. "Conflict-Free Replicated Data Types". In: *Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings*. Ed. by Xavier Défago, Franck Petit, and Vincent Villain. Vol. 6976. Lecture Notes in Computer Science. Springer, 2011, pp. 386-400. DOI: 10.1007/978-3-642-24550-3_29. URL: https://doi.org/10.1007/978-3-642-24550-3%5C_29.

[225] Yair Sovran et al. "Transactional storage for geo-replicated systems". In: Cascais, Portugal, Oct. 2011, pp. 385-400. DOI: http://doi.acm.org/10.1145/2043556.2043592.

[227] Amazon. AWS Dynamodb. https://aws.amazon.com/dynamodb. 2012.

[229] James C. Corbett et al. "Spanner: Google's Globally-Distributed Database". In: *Symposium on Operating Systems Design and Implementation (OSDI)*. 2012.

[230] James A. Cowling and Barbara Liskov. "Granola: Low-Overhead Distributed Transaction Coordination". In: *2012 USENIX Annual Technical Conference, Boston, MA, USA, June 13-15, 2012*. Ed. by Gernot Heiser and Wilson C. Hsieh. USENIX Association, 2012, pp. 223-235. URL: https://www.usenix.org/conference/atc12/technical-sessions/presentation/cowling.

[231] Faith Ellen et al. "Universal Constructions That Ensure Disjoint-Access Parallelism and Wait-Freedom". In: *Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing*. PODC '12. Madeira, Portugal: Association for Computing Machinery, 2012, pp. 115-124. ISBN: 9781450314503. DOI: 10.1145/2332432.2332457. URL: https://doi.org/10.1145/2332432.2332457.

[232] Rachid Guerraoui et al. "The Weakest Failure Detectors to Solve Quittable Consensus and Nonblocking Atomic Commit". In: *SIAM J. Comput*. 41.6 (2012), pp. 1343-1379. DOI: 10.1137/070698877. URL: https://doi.org/10.1137/070698877.

[233] Maurice Herlihy and Nir Shavit. *The Art of Multiprocessor Programming, Revised Reprint*. Morgan Kaufmann Publishers Inc., 2012.

[234] Maurice Herlihy and Nir Shavit. *The Art of Multiprocessor Programming, Revised Reprint*. 1st. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc., 2012. ISBN: 9780123973375.

[235] Cheng Li et al. "Making Geo-Replicated Systems Fast as Possible, Consistent When Necessary". In: *Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation*. OSDI'12. Hollywood, CA, USA: USENIX Association, 2012, pp. 265-278. ISBN: 9781931971966.

[236] Dahlia Malkhi et al. "From paxos to CORFU: a flash-speed shared log". In: *ACM SIGOPS Oper. Syst. Rev*. 46.1 (2012), pp. 47-51. DOI: 10.1145/2146382.2146391. URL: https://doi.org/10.1145/2146382.2146391.

[237] Parisa Jalili Marandi, Marco Primi, and Fernando Pedone. "Multi-Ring Paxos". In: *IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012, Boston, MA, USA, June 25-28, 2012*. Ed. by Robert S. Swarz, Philip Koopman, and Michel Cukier. IEEE Computer Society, 2012, pp. 1-12. DOI: 10.1109/DSN.2012.6263916. URL: https://doi.org/10.1109/DSN.2012.6263916.
[238] Parisa Jalili Marandi, Marco Primi, and Fernando Pedone. "Multi-Ring Paxos". In: *IEEE/I-FIP International Conference on Dependable Systems and Networks, DSN 2012, Boston, MA, USA, June 25-28, 2012*. Ed. by Robert S. Swarz, Philip Koopman, and Michel Cukier. IEEE Computer Society, 2012, pp. 1-12. DOI: 10.1109/DSN.2012.6263916. URL: https://doi.org/10.1109/DSN.2012.6263916.

[239] Francesco Marchioni and Manik Surtani. *Infinispan Data Grid Platform*. Packt Publishing Ltd, 2012.

[240] Achour Mostéfaoui, Michel Raynal, and Julien Stainer. "Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems". In: *11th IEEE International Symposium on Network Computing and Applications, NCA 2012, Cambridge, MA, USA, August 23-25, 2012*. IEEE Computer Society, 2012, pp. 44-51. DOI: 10.1109/NCA.2012.19. URL: https://doi.org/10.1109/NCA.2012.19.

[241] Sebastiano Peluso et al. "When Scalability Meets Consistency: Genuine Multiversion Update-Serializable Partial Data Replication". In: *Int. Conf. on Distributed Computing Systems*. Macau, China: IEEE, 2012, pp. 455-465.

[242] *ScyllaDB*. https://www.scylladb.com. 2012.

[243] Alexander Shraer et al. "Dynamic Reconfiguration of Primary/Backup Clusters". In: *USENIX Annual Technical Conference (USENIX ATC)*. 2012.

[244] The Apache Software Foundation. *The Hadoop Distributed File System*. 2012. URL: http://hadoop.apache.org.

[245] Alexander Thomson et al. "Calvin: fast distributed transactions for partitioned database systems". In: *Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2012, Scottsdale, AZ, USA, May 20-24, 2012*. Ed. by K. Selçuk Candan et al. ACM, 2012, pp. 1-12. DOI: 10.1145/2213836.2213838. URL: https://doi.org/10.1145/2213836.2213838.

[249] Mahesh Balakrishnan et al. "CORFU: A distributed shared log". In: *ACM Trans. Comput. Syst.* 31.4 (2013), p. 10. DOI: 10.1145/2535930. URL: https://doi.org/10.1145/2535930.

[250] Mahesh Balakrishnan et al. "Tango: distributed data structures over a shared log". In: *ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013*. Ed. by Michael Kaminsky and Mike Dahlin. ACM, 2013, pp. 325-340. DOI: 10.1145/2517349.2522732. URL: https://doi.org/10.1145/2517349.2522732.

[251] Carole Delporte-Gallet et al. "Adaptive Register Allocation with a Linear Number of Registers". In: *Proceedings of the 27th International Symposium on Distributed Computing - Volume 8205*. DISC 2013. Jerusalem, Israel: Springer-Verlag New York, Inc., 2013, pp. 269-283. ISBN: 978-3-642-41526-5. DOI: 10.1007/978-3-642-41527-2_19. URL: http://dx.doi.org/10.1007/978-3-642-41527-2_19.

[252] Danny Dolev and Christoph Lenzen. "Early-Deciding Consensus is Expensive". In: *Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing*. PODC '13. Montréal, Québec, Canada: Association for Computing Machinery, 2013, pp. 270-279. ISBN: 9781450320658. DOI: 10.1145/2484239.2484269. URL: https://doi.org/10.1145/2484239.2484269.
[253] Vassos Hadzilacos and Sam Toueg. "On Deterministic Abortable Objects". In: *Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing*. PODC '13. Montréal, Québec, Canada: Association for Computing Machinery, 2013, pp. 4–12. ISBN: 9781450320658. DOI: 10.1145/2484239.2484241. URL: https://doi.org/10.1145/2484239.2484241.

[254] Tim Kraska et al. "MDCC: Multi-Data Center Consistency". In: *European Conference on Computer Systems (EuroSys)*. 2013.

[255] Christopher Mitchell, Yifeng Geng, and Jinyang Li. "Using One-Sided RDMA Reads to Build a Fast, CPU-Efficient Key-Value Store". In: *Proceedings of the 2013 USENIX Conference on Annual Technical Conference*. USENIX ATC'13. San Jose, CA: USENIX Association, 2013, pp. 103–114.

[256] Iulian Moraru, David G. Andersen, and Michael Kaminsky. "There Is More Consensus in Egalitarian Parliaments". In: *Symposium on Operating Systems Principles (SOSP)*. 2013.

[257] Oracle. *Java(TM) Transaction API (JTA)*. Tech. rep. 2013.

[261] James Aspnes and Faith Ellen. "Tight Bounds for Adopt-Commit Objects". English. In: *Theory of Computing Systems* 55.3 (2014), pp. 451–474. ISSN: 1432-4350. DOI: 10.1007/s00224-013-9448-1. URL: http://dx.doi.org/10.1007/s00224-013-9448-1.

[262] Peter Bailis et al. "Coordination Avoidance in Database Systems". In: *Proc. VLDB Endow.* 8.3 (2014), pp. 185–196. DOI: 10.14778/2735508.2735509. URL: http://www.vldb.org/pvldb/vol8/p185-bailis.pdf.

[263] Carlos Eduardo Benevides Bezerra, Fernando Pedone, and Robbert van Renesse. "Scalable State-Machine Replication". In: *44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, 2014*. IEEE Computer Society, 2014, pp. 331–342. DOI: 10.1109/DSN.2014.41. URL: https://doi.org/10.1109/DSN.2014.41.

[264] Jiaqing Du et al. "Clock-RSM: Low-Latency Inter-datacenter State Machine Replication Using Loosely Synchronized Physical Clocks". In: *44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, 2014*. 2014, pp. 343–354. DOI: 10.1109/DSN.2014.42. URL: https://doi.org/10.1109/DSN.2014.42.

[267] Shuai Mu et al. "Extracting More Concurrency from Distributed Transactions". In: *Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation*. OSDI'14. Broomfield, CO: USENIX Association, 2014, pp. 479–494. ISBN: 9781931971164.

[268] Arun C. Murthy et al. *Apache Hadoop YARN: Moving beyond MapReduce and Batch Processing with Apache Hadoop 2*. 1st. Addison-Wesley Professional, 2014. ISBN: 0321934504.

[269] Diego Ongaro and John K. Ousterhout. "In Search of an Understandable Consensus Algorithm". In: *USENIX Annual Technical Conference (USENIX ATC)*. 2014.

[271] Alexandru Turcu et al. "Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems". In: *International Conference on Principles of Distributed Systems (OPODIS)*. 2014, pp. 33–48.
[274] Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman. "A Framework for Transactional Consistency Models with Atomic Visibility". In: *26th International Conference on Concurrency Theory (CONCUR 2015)*. Ed. by Luca Aceto and David de Frutos Escrig. Vol. 42. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015, pp. 58-71. ISBN: 978-3-939897-91-0. DOI: 10.4230/LIPIcs.CONCUR.2015.58. URL: http://drops.dagstuhl.de/opus/volltexte/2015/5375.

[275] Austin T. Clements et al. "The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors". In: *ACM Trans. Comput. Syst.* 32.4 (Jan. 2015). ISSN: 0734-2071. DOI: 10.1145/2699681. URL: https://doi.org/10.1145/2699681.

[276] Huynh Tu Dang et al. "NetPaxos: Consensus at Network Speed". In: *Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research*. SOSR '15. Santa Clara, California: Association for Computing Machinery, 2015. ISBN: 9781450334518. DOI: 10.1145/2774993.2774999. URL: https://doi.org/10.1145/2774993.2774999.

[277] Swan Dubois et al. "The Weakest Failure Detector for Eventual Consistency". In: *Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing*. PODC '15. Donostia-San Sebastián, Spain: Association for Computing Machinery, 2015, pp. 375-384. ISBN: 9781450336178. DOI: 10.1145/2767386.2767404. URL: https://doi.org/10.1145/2767386.2767404.

[278] Rati Gelashvili. "On the Optimal Space Complexity of Consensus for Anonymous Processes". In: *Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings*. Ed. by Yoram Moses. Vol. 9363. Lecture Notes in Computer Science. Springer, 2015, pp. 452-466. DOI: 10.1007/978-3-662-48653-5_30. URL: https://doi.org/10.1007/978-3-662-48653-5_30.

[280] Robbert van Renesse, Nicolas Schiper, and Fred B. Schneider. "Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab". In: *IEEE Trans. Dependable Secur. Comput.* 12.4 (2015), pp. 472-484. DOI: 10.1109/TDSC.2014.2355848. URL: https://doi.org/10.1109/TDSC.2014.2355848.

[282] Irene Zhang et al. "Building Consistent Transactions with Inconsistent Replication". In: *Symposium on Operating Systems Principles (SOSP)*. 2015.

[283] Yehuda Afek, Faith Ellen, and Eli Gafni. "Deterministic Objects: Life Beyond Consensus". In: *Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing*. PODC '16. Chicago, Illinois, USA: Association for Computing Machinery, 2016, pp. 97-106. ISBN: 9781450339643. DOI: 10.1145/2933057.2933116. URL: https://doi.org/10.1145/2933057.2933116.

[285] Brendan Burns et al. "Borg, Omega, and Kubernetes". In: *Queue* 14.1 (Jan. 2016), 10:70-10:93. ISSN: 1542-7730.

[286] Huynh Tu Dang et al. "Paxos Made Switch-y". In: *SIGCOMM Comput. Commun. Rev.* 46.2 (May 2016), pp. 18-24. ISSN: 0146-4833. DOI: 10.1145/2935634.2935638. URL: https://doi.org/10.1145/2935634.2935638.
[287] Cezara Dragoi, Thomas A. Henzinger, and Damien Zufferey. "PSync: a partially synchronous language for fault-tolerant distributed algorithms". In: *Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016*. Ed. by Rastislav Bodík and Rupak Majumdar. ACM, 2016, pp. 400-415. DOI: 10.1145/2837614.2837650. URL: https://doi.org/10.1145/2837614.2837650.

[288] Alexey Gotsman et al. "'Cause I'm strong enough: reasoning about consistency choices in distributed systems". In: *Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016*. Ed. by Rastislav Bodík and Rupak Majumdar. ACM, 2016, pp. 371-384. DOI: 10.1145/2837614.2837625. URL: https://doi.org/10.1145/2837614.2837625.

[289] Heidi Howard, Dahlia Malkhi, and Alexander Spiegelman. "Flexible Paxos: Quorum Intersection Revisited". In: *International Conference on Principles of Distributed Systems (OPODIS)*. 2016.

[290] Heidi Howard, Dahlia Malkhi, and Alexander Spiegelman. "Flexible Paxos: Quorum intersection revisited". In: *CoRR abs/1608.06696* (2016). arXiv: 1608.06696. URL: http://arxiv.org/abs/1608.06696.

[291] Zsolt István et al. "Consensus in a Box: Inexpensive Coordination in Hardware". In: *Proceedings of the 13th Usenix Conference on Networked Systems Design and Implementation*. OSDI'16. Santa Clara, CA: USENIX Association, 2016, pp. 425-438. ISBN: 9781931971294.

[292] Kfir Lev-Ari et al. "Modular Composition of Coordination Services". In: *2016 USENIX Annual Technical Conference, USENIX ATC 2016, Denver, CO, USA, June 22-24, 2016*. Ed. by Ajay Gulati and Hakim Weatherspoon. USENIX Association, 2016, pp. 251-264. URL: https://www.usenix.org/conference/atc16/technical-sessions/presentation/lev-ari.

[293] Jialin Li et al. "Just Say No to Paxos Overhead: Replacing Consensus with Network Ordering". In: *Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation*. OSDI'16. Savannah, GA, USA: USENIX Association, 2016, pp. 467-483. ISBN: 9781931971331.

[294] Shengyun Liu et al. "XFT: Practical Fault Tolerance beyond Crashes". In: *Symposium on Operating Systems Design and Implementation (OSDI)*. 2016.

[295] Haonan Lu et al. "The SNOW Theorem and Latency-Optimal Read-Only Transactions". In: *12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016*. Ed. by Kimberly Keeton and Timothy Roscoe. USENIX Association, 2016, pp. 135-150. URL: https://www.usenix.org/conference/osdi16/technical-sessions/presentation/lu.

[296] Shuai Mu et al. "Consolidating Concurrency Control and Consensus for Commits under Conflicts". In: *12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016*. Ed. by Kimberly Keeton and Timothy Roscoe. USENIX Association, 2016, pp. 517-532.

[297] Paolo Viotti and Marko Vukolić. "Consistency in Non-Transactional Distributed Storage Systems". In: *ACM Comput. Surv.* 49.1 (June 2016). ISSN: 0360-0300. DOI: 10.1145/2926965. URL: https://doi.org/10.1145/2926965.
[298] Nayuta Yanagisawa. "Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model". In: *Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings*. Ed. by Borzoo Bonakdarpour and Franck Petit. Vol. 10083. Lecture Notes in Computer Science. 2016, pp. 415-429. DOI: 10.1007/978-3-319-49259-9\_32. URL: https://doi.org/10.1007/978-3-319-49259-9\_32.

[299] Leqi Zhu. "A tight space bound for consensus". In: *Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016, Cambridge, MA, USA, June 18-21, 2016*. Ed. by Daniel Wichs and Yishay Mansour. ACM, 2016, pp. 345-350. DOI: 10.1145/2897518.2897565. URL: https://doi.org/10.1145/2897518.2897565.

[300] Ittai Abraham et al. "Revisiting Fast Practical Byzantine Fault Tolerance". In: *CoRR abs/1712.01367* (2017). arXiv: 1712.01367. URL: http://arxiv.org/abs/1712.01367.

[301] Ailidani Ailijiang et al. "Efficient Distributed Coordination at WAN-Scale". In: *37th International Conference on Distributed Computing Systems (ICDCS)*. 2017, pp. 1575-1585. DOI: 10.1109/ICDCS.2017.274.

[302] Balaji Arun et al. "Speeding up Consensus by Chasing Fast Decisions". In: *IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)*. 2017, pp. 49-60.

[303] Luiz Barroso et al. "Attack of the Killer Microseconds". In: *Commun. ACM* 60.4 (Mar. 2017), pp. 48-54. ISSN: 0001-0782. DOI: 10.1145/3015146. URL: https://doi.org/10.1145/3015146.

[304] Claire Capdevielle et al. "On the Uncontended Complexity of Anonymous Agreement". In: *Distrib. Comput.* 30.6 (Dec. 2017), pp. 459-468. ISSN: 0178-2770. DOI: 10.1007/s00446-017-0297-z. URL: https://doi.org/10.1007/s00446-017-0297-z.

[305] David Yu Cheng Chan, Vassos Hadzilacos, and Sam Toueg. "Life Beyond Set Agreement". In: *Proceedings of the ACM Symposium on Principles of Distributed Computing*. PODC '17. Washington, DC, USA: Association for Computing Machinery, 2017, pp. 345-354. ISBN: 9781450349925. DOI: 10.1145/3087801.3087822. URL: https://doi.org/10.1145/3087801.3087822.

[306] Paulo R. Coelho, Nicolas Schiper, and Fernando Pedone. "Fast Atomic Multicast". In: *47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017, Denver, CO, USA, June 26-29, 2017*. IEEE Computer Society, 2017, pp. 37-48. DOI: 10.1109/DSN.2017.15. URL: https://doi.org/10.1109/DSN.2017.15.

[307] Natacha Crooks et al. "Seeing is Believing: A Client-Centric Specification of Database Isolation". In: *Proceedings of the ACM Symposium on Principles of Distributed Computing*. PODC '17. Washington, DC, USA: Association for Computing Machinery, 2017, pp. 73-82. ISBN: 9781450349925. DOI: 10.1145/3087801.3087802. URL: https://doi.org/10.1145/3087801.3087802.

[308] Damien Imbs et al. "Which Broadcast Abstraction Captures k-Set Agreement?". In: *31st International Symposium on Distributed Computing, DISC 2017, October 16-20, 2017, Vienna, Austria*. Ed. by Andréa W. Richa. Vol. 91. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, 27:1-27:16. DOI: 10.4230/LIPICS.DISC.2017.27. URL: https://doi.org/10.4230/LIPICS.DISC.2017.27.
[309] Marius Poke, Torsten Hoefler, and Colin W. Glass. "AllConcur: Leaderless Concurrent Atomic Broadcast". In: *Proceedings of the 26th International Symposium on High-Performance Parallel and Distributed Computing*. HPDC '17. Washington, DC, USA: Association for Computing Machinery, 2017, pp. 205–218. ISBN: 9781450346993. DOI: 10.1145/3078597.3078598. URL: https://doi.org/10.1145/3078597.3078598.

[312] Gadi Taubenfeld. "Contention-sensitive data structures and algorithms". In: *Theoretical Computer Science* 677 (2017), pp. 41–55. ISSN: 0304-3975. DOI: https://doi.org/10.1016/j.tcs.2017.03.017.

[313] Michael Wei et al. "vCorfu: A Cloud-Scale Object Store on a Shared Log". In: *14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017*. Ed. by Aditya Akella and Jon Howell. USENIX Association, 2017, pp. 35–49. URL: https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/wei-michael.

[315] Victor Bushkov et al. "The PCL Theorem: Transactions Cannot Be Parallel, Consistent, and Live". In: *J. ACM* 66.1 (Dec. 2018). ISSN: 0004-5411. DOI: 10.1145/3266141. URL: https://doi.org/10.1145/3266141.

[316] Eli Daian et al. "A Wealth of Sub-Consensus Deterministic Objects". In: *32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018*. Ed. by Ulrich Schmid and Josef Widder. Vol. 121. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, 17:1–17:17. DOI: 10.4230/LIPIcs.DISC.2018.17. URL: https://doi.org/10.4230/LIPIcs.DISC.2018.17.

[317] Faith Ellen, Rati Gelashvili, and Leqi Zhu. "Revisionist Simulations: A New Approach to Proving Space Lower Bounds". In: *Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing*. PODC '18. Egham, United Kingdom: Association for Computing Machinery, 2018, pp. 61–70. ISBN: 9781450357951. DOI: 10.1145/3212734.3212749. URL: https://doi.org/10.1145/3212734.3212749.

[318] Xin Jin et al. "Netchain: Scale-Free Sub-RTT Coordination". In: *Proceedings of the 15th USENIX Conference on Networked Systems Design and Implementation*. NSDI'18. Renton, WA, USA: USENIX Association, 2018, pp. 35–49. ISBN: 9781931971430.

[319] Yoram Moses and Katia Patkin. "Mutual exclusion as a matter of priority". In: *Theoretical Computer Science* 751 (2018). Structural Information and Communication Complexity, pp. 46–60. ISSN: 0304-3975. DOI: https://doi.org/10.1016/j.tcs.2016.12.015. URL: https://www.sciencedirect.com/science/article/pii/S0304397516307435.

[320] Achour Mostéfaoui, Matthieu Perrin, and Michel Raynal. "A Simple Object that Spans the Whole Consensus Hierarchy". In: *Parallel Process. Lett*. 28.2 (2018), 1850006:1–1850006:9. DOI: 10.1142/S0129626418500068. URL: https://doi.org/10.1142/S0129626418500068.

[323] Hanyu Zhao et al. "SDPaxos: Building Efficient Semi-Decentralized Geo-replicated State Machines". In: *Symposium on Cloud Computing (SoCC)*. 2018.

[324] Klaus v. Gleissenthall et al. "Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs". In: *Proc. ACM Program. Lang*. 3.POPL (Jan. 2019). DOI: 10.1145/3290372. URL: https://doi.org/10.1145/3290372.
[325] Alexey Gotsman, Anatole Lefort, and Gregory V. Chockler. "White-Box Atomic Multicast". In: *49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019, Portland, OR, USA, June 24-27, 2019*. IEEE, 2019, pp. 176-187. DOI: 10.1109/DSN.2019.00030. URL: https://doi.org/10.1109/DSN.2019.00030.

[326] Long Hoang Le et al. "DynaStar: Optimized Dynamic Partitioning for Scalable State Machine Replication". In: *39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019, Dallas, TX, USA, July 7-10, 2019*. IEEE, 2019, pp. 1453-1465. DOI: 10.1109/ICDCS.2019.00145. URL: https://doi.org/10.1109/ICDCS.2019.00145.

[328] Sujaya Maiyya et al. "Unifying Consensus and Atomic Commitment for Effective Cloud Data Management". In: *Proc. VLDB Endow*. 12.5 (2019), pp. 611-623. DOI: 10.14778/3303753.3303765. URL: http://www.vldb.org/pvldb/vol12/p611-maiyya.pdf.

[332] Zhaoguo Wang et al. "On the Parallels between Paxos and Raft, and How to Port Optimizations". In: *Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. PODC '19. Toronto ON, Canada: Association for Computing Machinery, 2019*, pp. 445-454. ISBN: 9781450362177. DOI: 10.1145/3293611.3331595. URL: https://doi.org/10.1145/3293611.3331595.

[333] Michael Zheludkov and Shamim Bhuiyan. *The Apache Ignite Book*. Lulu.com, 2019. ISBN: 0359439373.

[334] Marcos K. Aguilera et al. "Microsecond Consensus for Microsecond Applications". In: *CoRR abs/2010.06288* (2020). arXiv: 2010.06288. URL: https://arxiv.org/abs/2010.06288.

[335] Matthew Burke, Audrey Cheng, and Wyatt Lloyd. "Gryff: Unifying Consensus and Shared Registers". In: *Symposium on Networked Systems Design and Implementation (NSDI)*. 2020.

[336] Faith Ellen et al. "A complexity-based classification for multiprocessor synchronization". In: *Distributed Comput*. 33.2 (2020), pp. 125-144. DOI: 10.1007/s00446-019-00361-3. URL: https://doi.org/10.1007/s00446-019-00361-3.

[339] Rachid Guerraoui et al. "Efficient Multi-Word Compare and Swap". In: *34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference*. Ed. by Hagit Attiya. Vol. 179. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, 4:1-4:19. DOI: 10.4230/LIPIcs.DISC.2020.4. URL: https://doi.org/10.4230/LIPIcs.DISC.2020.4.

[340] Heidi Howard and Richard Mortier. "Paxos vs Raft: Have we reached consensus on distributed consensus?". In: *CoRR abs/2004.05074* (2020). arXiv: 2004.05074. URL: https://arxiv.org/abs/2004.05074.

[341] Antonios Katsarakis et al. "Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol". In: *Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. ASPLOS '20*. Lausanne, Switzerland: Association for Computing Machinery, 2020, pp. 201-217. ISBN: 9781450371025. DOI: 10.1145/3373376.3378496. URL: https://doi.org/10.1145/3373376.3378496.

[342] Kyle Kingsbury and Peter Alvaro. "Elle: Inferring Isolation Anomalies from Experimental Observations". In: *Proc. VLDB Endow*. 14.3 (Nov. 2020), pp. 268-280. ISSN: 2150-8097. DOI: 10.14778/3430915.3430918. URL: https://doi.org/10.14778/3430915.3430918.
[343] Tanakorn Leesatapornwongsa et al. "Transactuations: Where Transactions Meet the Physical World". In: *ACM Trans. Comput. Syst.* 36.4 (May 2020). ISSN: 0734-2071. DOI: 10.1145/3380907. URL: https://doi.org/10.1145/3380907.

[344] Khiem Ngo, Siddhartha Sen, and Wyatt Lloyd. "Tolerating Slowdowns in Replicated State Machines using Copilots". In: *14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)*. USENIX Association, Nov. 2020, pp. 583–598. ISBN: 978-1-939133-19-9. URL: https://www.usenix.org/conference/osdi20/presentation/ngo.

[348] Rebecca Taft et al. "CockroachDB: The Resilient Geo-Distributed SQL Database". In: *International Conference on Management of Data (SIGMOD)*. 2020.

[349] Manuel Bravo et al. "UniStore: A fault-tolerant marriage of causal and strong consistency". In: *2021 USENIX Annual Technical Conference, USENIX ATC 2021, July 14-16, 2021*. Ed. by Irina Calciu and Geoff Kuenning. USENIX Association, 2021, pp. 923–937. URL: https://www.usenix.org/conference/atc21/presentation/bravo.

[352] Idit Keidar et al. "All You Need is DAG". In: *Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing*. PODC'21. Virtual Event, Italy: Association for Computing Machinery, 2021, pp. 165–175. ISBN: 9781450385480. DOI: 10.1145/3465084.3467905. URL: https://doi.org/10.1145/3465084.3467905.

[353] Idit Keidar et al. "All You Need is DAG". In: *Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing*. PODC'21. Virtual Event, Italy: Association for Computing Machinery, 2021, pp. 165–175. ISBN: 9781450385480. DOI: 10.1145/3465084.3467905. URL: https://doi.org/10.1145/3465084.3467905.

[354] Long Hoang Le et al. "RamCast: RDMA-based atomic multicast". In: *Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6 - 10, 2021*. Ed. by Kaiwen Zhang et al. ACM, 2021, pp. 172–184. DOI: 10.1145/3464298.3493393. URL: https://doi.org/10.1145/3464298.3493393.

[357] Sujaya Maiyya et al. "Errata for "Unifying Consensus and Atomic Commitment for Effective Cloud Data Management"". In: *Proc. VLDB Endow.* 14.7 (2021), p. 1166. DOI: 10.14778/3450980.3450985. URL: http://www.vldb.org/pvldb/vol14/p1166-maiyya.pdf.

[358] Sarah Tollman, Seo Jin Park, and John K. Ousterhout. "EPaxos Revisited". In: *Symposium on Networked Systems Design and Implementation (NSDI)*. 2021.

[360] Leqi Zhu. "A Tight Space Bound for Consensus". In: *SIAM J. Comput.* 50.3 (2021). DOI: 10.1137/16M1096785. URL: https://doi.org/10.1137/16M1096785.

[362] Manuel Bravo, Gregory V. Chockler, and Alexey Gotsman. "Making Byzantine consensus live". In: *Distributed Comput.* 35.6 (2022), pp. 503–532. DOI: 10.1007/S00446-022-00432-Y. URL: https://doi.org/10.1007/s00446-022-00432-y.

[363] Armando Castañeda, Yannai A. Gonczarowski, and Yoram Moses. "Unbeatable consensus". In: *Distributed Comput.* 35.2 (2022), pp. 123–143. DOI: 10.1007/s00446-021-00417-3. URL: https://doi.org/10.1007/s00446-021-00417-3.
[364] Bogdan S. Chlebus, Dariusz R. Kowalski, and Jan Olkowski. "Brief Announcement: Deterministic Consensus and Checkpointing with Crashes: Time and Communication Efficiency". In: *Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing*. PODC'22. Salerno, Italy: Association for Computing Machinery, 2022, pp. 106–108. ISBN: 9781450392624. DOI: 10.1145/3519270.3538471. URL: https://doi.org/10.1145/3519270.3538471.

[365] Vitor Enes. "Planet-scale leaderless consensus". PhD thesis. University of Minho, Portugal, 2022. URL: https://hdl.handle.net/1822/81307.

[366] Igor Konnov, Markus Kuppe, and Stephan Merz. "Specification and Verification with the TLA$^+$ Trifecta: TLC, Apalache, and TLAPS". In: *Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I*. Ed. by Tiziana Mar-garia and Bernhard Steffen. Vol. 13701. Lecture Notes in Computer Science. Springer, 2022, pp. 88–105. DOI: 10.1007/978-3-031-19849-6\_6. URL: https://doi.org/10.1007/978-3-031-19849-6\_6.

[368] Sean Ovens. "The Space Complexity of Consensus from Swap". In: *Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing*. PODC'22. Salerno, Italy: Association for Computing Machinery, 2022, pp. 176–186. ISBN: 9781450392624. DOI: 10.1145/3519270.3538420. URL: https://doi.org/10.1145/3519270.3538420.

[373] Mojtaba Eslahi-Kelorazi, Long Hoang Le, and Fernando Pedone. "Heron: Scalable State Machine Replication on Shared Memory". In: *53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, DSN 2023, Porto, Portugal, June 27-30, 2023*. IEEE, 2023, pp. 138–150. DOI: 10.1109/DSN58367.2023.00025. URL: https://doi.org/10.1109/DSN58367.2023.00025.

[374] *A range of snapshot isolations*. URL: https://jepsen.io/consistency/models/snapshot-isolation#a-range-of-snapshot-isolations.

[375] *Apache Gora*. http://gora.apache.org.

[376] *Atomix GitHub repository*. URL: https://github.com/atomix/atomix.

[377] Cassandra. *Cassandra Enhancement Proposal (CEP-15): General Purpose Transactions*. URL: https://cwiki.apache.org/confluence/display/CASSANDRA/CEP-15%3A+General+Purpose+Transactions.

[378] Brian A. Coan and Jennifer L. Welch. "Modular Construction of Nearly Optimal Byzantine Agreement Protocols". In: pp. 295–306.

[379] *Epaxos (fixed) GitHub repository*. URL: https://github.com/otrack/epaxos.

[380] *Epaxos GitHub repository*. URL: https://github.com/efficient/epaxos.

[381] *etcd GitHub repository*. URL: https://github.com/coreos/etcd.

[383] *H-Store*. URL: https://github.com/apavlo/h-store.

[384] Ittai Abraham, Heidi Howard. *Raft does not Guarantee Liveness in the face of Network Faults*. URL: https://decentralizedthoughts.github.io/2020-12-12-raft-liveness-full-omission/.
[385] *Improved Bulk Write API and One-Shot Transactions Support.* URL: https://jira.mongodb.org/browse/DRIVERS-716.

[386] *Jepsen.* URL: https://jepsen.io.

[387] *MySQL Group Replication - Transaction life cycle explained.* URL: https://dev.mysql.com/blog-archive/mysql-group-replication-transaction-life-cycle-explained/.

[388] *Quint Lang.* URL: https://github.com/informalsystems/quint.

[389] *Raft GitHub repository.* URL: https://raft.github.io/.

[392] *Transaction Processing Performance Council (TPC) - Benchmark C.* URL: http://www.tpc.org/tpcc/.

[393] *Transactional Synchronization Extensions.* URL: https://en.wikipedia.org/wiki/Transactional_Synchronization_Extensions.

[394] *What is FaunaDB?* URL: https://docs.fauna.com/fauna/current/introduction.html.

[395] *Wikipedia. Double compare-and-swap.* URL: https://en.wikipedia.org/wiki/Double compare-and-swap.

[396] *YugabyteDB.* https://www.yugabyte.com/.

[397] *ZooKeeper. ZooKeeper GitHub repository.* URL: https://github.com/apache/zookeeper.
## Personnal Bibliography

[150] Pierre Sutra, Marc Shapiro, and João Pedro Barreto. "An asynchronous, decentralised commitment protocol for semantic optimistic replication". In: *CoRR abs/cs/0612086* (2006). arXiv: cs/0612086. URL: http://arxiv.org/abs/0612086.

[158] Claudia-Lavinia Ignat et al. "A comparison of optimistic approaches to collaborative editing of Wiki pages". In: *Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, White Plains, New York, USA, November 12-15, 2007*. Ed. by Juan Quemada and Tao Zhang. IEEE, 2007, pp. 474–483. DOI: 10.1109/COLCOM.2007.4553878. URL: https://doi.org/10.1109/COLCOM.2007.4553878.

[162] Pierre Sutra, João Pedro Barreto, and Marc Shapiro. "Decentralised Commitment for Optimistic Semantic Replication". In: *On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I*. Ed. by Robert Meersman and Zahir Tari. Vol. 4803. Lecture Notes in Computer Science. Springer, 2007, pp. 318–335. DOI: 10.1007/978-3-540-76848-7\_21. URL: https://doi.org/10.1007/978-3-540-76848-7%5C_21.

[163] Pierre Sutra and Marc Shapiro. "Comparing Optimistic Database Replication Techniques". In: *23èmes Journées Bases de Données Avancées, BDA 2007, Marseille, France, 23-26 Octobre 2007, Actes (Informal Proceedings)*. Ed. by Omar Boucelma et al. 2007.

[168] Lamia Benmouffok et al. "Telex: Principled System Support for Write-Sharing in Collaborative Applications". In: *CoRR abs/0805.4680* (2008). arXiv: 0805.4680. URL: http://arxiv.org/abs/0805.4680.

[182] Pierre Sutra and Marc Shapiro. "Fault-Tolerant Partial Replication in Large-Scale Database Systems". In: *Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings*. Ed. by Emilio Luque, Tomàs Margalef, and Domingo Benitez. Vol. 5168. Lecture Notes in Computer Science. Springer, 2008, pp. 404–413. DOI: 10.1007/978-3-540-85451-7\_44. URL: https://doi.org/10.1007/978-3-540-85451-7%5C_44.

[183] Pierre Sutra and Marc Shapiro. "Fault-Tolerant Partial Replication in Large-Scale Database Systems". In: *CoRR abs/0802.0137* (2008). arXiv: 0802.0137. URL: http://arxiv.org/abs/0802.0137.
[195] Nicolas Schiper, Pierre Sutra, and Fernando Pedone. "Genuine versus Non-Genuine Atomic Multicast Protocols for Wide Area Networks: An Empirical Study". In: *28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009)*, Niagara Falls, New York, USA, September 27-30, 2009. IEEE Computer Society, 2009, pp. 166-175. DOI: 10.1109/SRDS.2009.12. URL: https://doi.org/10.1109/SRDS.2009.12.

[208] Nicolas Schiper, Pierre Sutra, and Fernando Pedone. "P-Store: Genuine Partial Replication in Wide Area Networks". In: *29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010)*, New Delhi, Punjab, India, October 31 - November 3, 2010. IEEE Computer Society, 2010, pp. 214-224. DOI: 10.1109/SRDS.2010.32. URL: https://doi.org/10.1109/SRDS.2010.32.

[215] Zohir Bouzid, Pierre Sutra, and Corentin Travers. "Anonymous Agreement: The Janus Algorithm". In: *Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings*. Ed. by Antonio Fernández Anta, Giuseppe Lipari, and Matthieu Roy. Vol. 7109. Lecture Notes in Computer Science. Springer, 2011, pp. 175-190. DOI: 10.1007/978-3-642-25873-2\_13. URL: https://doi.org/10.1007/978-3-642-25873-2\_13.

[223] Jonathan Michaux et al. "A semantically rich approach for collaborative model edition". In: *Proceedings of the 2011 ACM Symposium on Applied Computing (SAC)*, TaiChung, Taiwan, March 21 - 24, 2011. Ed. by William C. Chu et al. ACM, 2011, pp. 1470-1475. DOI: 10.1145/1982185.1982500. URL: https://doi.org/10.1145/1982185.1982500.

[226] Pierre Sutra and Marc Shapiro. "Fast Genuine Generalized Consensus". In: *30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011)*, Madrid, Spain, October 4-7, 2011. IEEE Computer Society, 2011, pp. 255-264. DOI: 10.1109/SRDS.2011.38. URL: https://doi.org/10.1109/SRDS.2011.38.

[228] Masoud Saeida Ardekani et al. "The space complexity of transactional interactive reads". In: *Proceedings of the 1st International Workshop on Hot Topics in Cloud Data Processing, HotCDP '12, Bern, Switzerland, April 10, 2012*. Ed. by Christof Fetzer, Flavio Junqueira, and Peter R. Pietzuch. ACM, 2012, 4:1-4:5. DOI: 10.1145/2169090.2169094. URL: https://doi.org/10.1145/2169090.2169094.

[246] Masoud Saeida Ardekani, Pierre Sutra, and Marc Shapiro. "Non-monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems". In: *IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013*. IEEE Computer Society, 2013, pp. 163-172. DOI: 10.1109/SRDS.2013.25. URL: https://doi.org/10.1109/SRDS.2013.25.

[247] Masoud Saeida Ardekani et al. "Non-Monotonic Snapshot Isolation". In: *CoRR abs/1306.3906* (2013). arXiv: 1306.3906. URL: http://arxiv.org/abs/1306.3906.

[248] Masoud Saeida Ardekani et al. "On the Scalability of Snapshot Isolation". In: *Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings*. Ed. by Felix Wolf, Bernd Mohr, and Dieter an Mey. Vol. 8097. Lecture Notes in Computer Science. Springer, 2013, pp. 369-381. DOI: 10.1007/978-3-642-40047-6\_39. URL: https://doi.org/10.1007/978-3-642-40047-6\_39.
[258] Pierre Sutra, Etienne Rivière, and Pascal Felber. "An Efficient Distributed Obstruction-Free Compare-And-Swap Primitive". In: *CoRR* abs/1309.2772 (2013). arXiv: 1309.2772. URL: http://arxiv.org/abs/1309.2772.

[259] José Valerio et al. "Evaluating the Price of Consistency in Distributed File Storage Services". In: *Distributed Applications and Interoperable Systems - 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013*. Proceedings. Ed. by Jim Dowling and François Taïani. Vol. 7891. Lecture Notes in Computer Science. Springer, 2013, pp. 141-154. DOI: 10.1007/978-3-642-38541-4\_11. URL: https://doi.org/10.1007/978-3-642-38541-4%5C_11.

[260] Masoud Saeida Ardekani, Pierre Sutra, and Marc Shapiro. "G-DUR: a middleware for assembling, analyzing, and improving transactional protocols". In: *Proceedings of the 15th International Middleware Conference, Bordeaux, France, December 8-12, 2014*. Ed. by Laurent Réveillère, Lucy Cherkasova, and François Taïani. ACM, 2014, pp. 13-24. DOI: 10.1145/2663165.2663336. URL: https://doi.org/10.1145/2663165.2663336.

[265] Pascal Felber et al. "On the Support of Versioning in Distributed Key-Value Stores". In: *33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014, Nara, Japan, October 6-9, 2014*. IEEE Computer Society, 2014, pp. 95-104. DOI: 10.1109/SRDS.2014.35. URL: https://doi.org/10.1109/SRDS.2014.35.

[266] Raluca Halalai et al. "ZooFence: Principled Service Partitioning and Application to the ZooKeeper Coordination Service". In: *33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014, Nara, Japan, October 6-9, 2014*. IEEE Computer Society, 2014, pp. 67-78. DOI: 10.1109/SRDS.2014.41. URL: https://doi.org/10.1109/SRDS.2014.41.

[270] Pierre Sutra, Etienne Rivière, and Pascal Felber. "A Practical Distributed Universal Construction with Unknown Participants". In: *Principles of Distributed Systems - 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014*. Proceedings. Ed. by Marcos K. Aguilera, Leonardo Querzoni, and Marc Shapiro. Vol. 8878. Lecture Notes in Computer Science. Springer, 2014, pp. 485-500. DOI: 10.1007/978-3-319-14472-6\_32. URL: https://doi.org/10.1007/978-3-319-14472-6%5C_32.

[272] Zohir Bouzid, Michel Raynal, and Pierre Sutra. "Anonymous Obstruction-Free (n, k)-Set Agreement with n-k+1 Atomic Read/Write Registers". In: *19th International Conference on Principles of Distributed Systems, OPODIS 2015, December 14-17, 2015, Rennes, France*. Ed. by Emmanuelle Anceaume, Christian Cachin, and Maria Gradinariu Potop-Butucaru. Vol. 46. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, 18:1-18:17. DOI: 10.4230/LIPIcs.OPODIS.2015.18. URL: https://doi.org/10.4230/LIPIcs.OPODIS.2015.18.

[273] Zohir Bouzid, Michel Raynal, and Pierre Sutra. "Anonymous Obstruction-free (n, k)-Set Agreement with n-k+1 Atomic Read/Write Registers". In: *CoRR* abs/1507.00474 (2015). arXiv: 1507.00474. URL: http://arxiv.org/abs/1507.00474.
[279] Do Le Quoc et al. "UniCrawl: A Practical Geographically Distributed Web Crawler". In: *8th IEEE International Conference on Cloud Computing, CLOUD 2015, New York City, NY, USA, June 27 - July 2, 2015*. Ed. by Calton Pu and Ajay Mohindra. IEEE Computer Society, 2015, pp. 389-396. DOI: 10.1109/CLOUD.2015.59. URL: https://doi.org/10.1109/CLOUD.2015.59.

[281] Valerio Schiavoni et al. "TOPiCo: detecting most frequent items from multiple high-rate event streams". In: *Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, DEBS '15, Oslo, Norway, June 29 - July 3, 2015*. Ed. by Frank Eliassen and Roman Vitenberg. ACM, 2015, pp. 58-67. DOI: 10.1145/2675743.2771838. URL: https://doi.org/10.1145/2675743.2771838.

[284] Tarek Ahmed-Nacer, Pierre Sutra, and Denis Conan. "The Convoy Effect in Atomic Multicast". In: *35th IEEE Symposium on Reliable Distributed Systems Workshops, SRDS 2016 Workshop, Budapest, Hungary, September 26, 2016*. IEEE Computer Society, 2016, pp. 67-72. DOI: 10.1109/SRDSW.2016.22. URL: https://doi.org/10.1109/SRDSW.2016.22.

[310] Tuanir França Rezende et al. "On Making Generalized Paxos Practical". In: *31st IEEE International Conference on Advanced Information Networking and Applications, AINA 2017, Taipei, Taiwan, March 27-29, 2017*. Ed. by Leonard Barolli et al. IEEE Computer Society, 2017, pp. 347-354. DOI: 10.1109/AINA.2017.94. URL: https://doi.org/10.1109/AINA.2017.94.

[311] Pierre Sutra et al. "CRESON: Callable and Replicated Shared Objects over NoSQL". In: *37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017*. Ed. by Kisung Lee and Ling Liu. IEEE Computer Society, 2017, pp. 115-128. DOI: 10.1109/ICDCS.2017.239. URL: https://doi.org/10.1109/ICDCS.2017.239.

[314] Zohir Bouzid, Michel Raynal, and Pierre Sutra. "Anonymous obstruction-free (n, k)-set agreement with n-k+1 atomic read/write registers". In: *Distributed Comput. 31.2 (2018), pp. 99-117*. DOI: 10.1007/s00446-017-0301-7. URL: https://doi.org/10.1007/s00446-017-0301-7.

[321] Marc Shapiro and Pierre Sutra. "Database Consistency Models". In: *CoRR abs/1804.00914* (2018). arXiv: 1804.00914. URL: http://arxiv.org/abs/1804.00914.

[322] Pierre Sutra et al. "Boosting Transactional Memory with Stricter Serializability". In: *Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018*. Proceedings. Ed. by Giovanna Di Marzo Serugendo and Michele Loreti. Vol. 10852. Lecture Notes in Computer Science. Springer, 2018, pp. 231-251. DOI: 10.1007/978-3-319-92408-3\_11. URL: https://doi.org/10.1007/978-3-319-92408-3\_11.

[327] Pedro García López et al. "ServerMix: Tradeoffs and Challenges of Serverless Data Analytics". In: *CoRR abs/1907.11465* (2019). arXiv: 1907.11465. URL: http://arxiv.org/abs/1907.11465.
[329] Daniel Barcelona Pons et al. "On the FaaS Track: Building Stateful Distributed Applications with Serverless Architectures". In: *Proceedings of the 20th International Middleware Conference, Middleware 2019, Davis, CA, USA, December 9-13, 2019*. ACM, 2019, pp. 41–54. DOI: 10.1145/3361525.3361535. URL: https://doi.org/10.1145/3361525.3361535.

[330] Marc Shapiro and Pierre Sutra. "Database Consistency Models". In: *Encyclopedia of Big Data Technologies*. Ed. by Sherif Sakr and Albert Y. Zomaya. Springer, 2019. DOI: 10.1007/978-3-319-63962-8_203-1. URL: https://doi.org/10.1007/978-3-319-63962-8_5C_203-1.

[331] Pierre Sutra. "On the correctness of Egalitarian Paxos". In: *CoRR abs/1906.10917* (2019). arXiv: 1906.10917. URL: http://arxiv.org/abs/1906.10917.

[337] Vitor Enes et al. "State-machine replication for planet-scale systems". In: *EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020*. Ed. by Angelos Bilas et al. ACM, 2020, 24:1–24:15. DOI: 10.1145/3342195.3387543. URL: https://doi.org/10.1145/3342195.3387543.

[338] Vitor Enes et al. "State-Machine Replication for Planet-Scale Systems (Extended Version)". In: *CoRR abs/2003.11789* (2020). arXiv: 2003.11789. URL: https://arxiv.org/abs/2003.11789.

[345] Tuanir França Rezende and Pierre Sutra. "Leaderless State-Machine Replication: Specification, Properties, Limits". In: *34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference*. Ed. by Hagit Attiya. Vol. 179. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, 24:1–24:17. DOI: 10.4230/LIPIcs.DISC.2020.24. URL: https://doi.org/10.4230/LIPIcs.DISC.2020.24.

[346] Tuanir França Rezende and Pierre Sutra. "Leaderless State-Machine Replication: Specification, Properties, Limits (Extended Version)". In: *CoRR abs/2008.02512* (2020). arXiv: 2008.02512. URL: https://arxiv.org/abs/2008.02512.

[347] Pierre Sutra. "On the correctness of Egalitarian Paxos". In: *Inf. Process. Lett.* 156 (2020), p. 105901. DOI: 10.1016/j.ipl.2019.105901. URL: https://doi.org/10.1016/j.ipl.2019.105901.

[350] Vitor Enes et al. "Efficient replication via timestamp stability". In: *EuroSys '21: Sixteenth European Conference on Computer Systems, Online Event, United Kingdom, April 26-28, 2021*. Ed. by Antonio Barbalace et al. ACM, 2021, pp. 178–193. DOI: 10.1145/3447786.3456236. URL: https://doi.org/10.1145/3447786.3456236.

[351] Vitor Enes et al. "Efficient Replication via Timestamp Stability (Extended Version)". In: *CoRR abs/2104.01142* (2021). arXiv: 2104.01142. URL: https://arxiv.org/abs/2104.01142.

[355] Anatole Lefort et al. "J-NVM: Off-heap Persistent Objects in Java". In: *SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021*. Ed. by Robbert van Renesse and Nickolai Zeldovich. ACM, 2021, pp. 408–423. DOI: 10.1145/3477132.3483579. URL: https://doi.org/10.1145/3477132.3483579.
[356] Aurèle Mahéo, Pierre Sutra, and Tristan Tarrant. "The serverless shell". In: *Middleware '21: Proceedings of the 22nd International Middleware Conference: Industrial Track, Virtual Event / Québec City, Canada, December 6 - 10, 2021*. Ed. by Kaiwen Zhang et al. ACM, 2021, pp. 9–15. DOI: 10.1145/3491084.3491426. URL: https://doi.org/10.1145/3491084.3491426.

[359] Ilyas Toumlilt, Pierre Sutra, and Marc Shapiro. "Highly-available and consistent group collaboration at the edge with colony". In: *Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6 - 10, 2021*. Ed. by Kaiwen Zhang et al. ACM, 2021, pp. 336–351. DOI: 10.1145/3464298.3493405. URL: https://doi.org/10.1145/3464298.3493405.

[361] Zohir Bouzid, Pierre Sutra, and Corentin Travers. "Agreeing within a few writes". In: *Theor. Comput. Sci.* 922 (2022), pp. 283–299. DOI: 10.1016/j.tcs.2022.04.030. URL: https://doi.org/10.1016/j.tcs.2022.04.030.

[367] Pedro García López et al. "Trade-Offs and Challenges of Serverless Data Analytics". In: *Technologies and Applications for Big Data Value*. Ed. by Edward Curry et al. Springer, 2022, pp. 41–61. DOI: 10.1007/978-3-030-78307-5_3. URL: https://doi.org/10.1007/978-3-030-78307-5_3.

[369] Daniel Barcelona Pons et al. "Stateful Serverless Computing with Crucial". In: *ACM Trans. Softw. Eng. Methodol.* 31.3 (2022), 39:1–39:38. DOI: 10.1145/3490386. URL: https://doi.org/10.1145/3490386.

[370] Pierre Sutra. "Brief Announcement: The Weakest Failure Detector for Genuine Atomic Multicast". In: *PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022*. Ed. by Alessia Milani and Philipp Woelfel. ACM, 2022, pp. 268–270. DOI: 10.1145/3519270.3538467. URL: https://doi.org/10.1145/3519270.3538467.

[371] Pierre Sutra. "The Weakest Failure Detector for Genuine Atomic Multicast". In: *36th International Symposium on Distributed Computing, DISC 2022, October 25-27, 2022, Augusta, Georgia, USA*. Ed. by Christian Scheideler. Vol. 246. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, 35:1–35:19. DOI: 10.4230/LIPIcs.DISC.2022.35. URL: https://doi.org/10.4230/LIPIcs.DISC.2022.35.

[372] Pierre Sutra. "The Weakest Failure Detector for Genuine Atomic Multicast (Extended Version)". In: *CoRR abs/2208.07650* (2022). DOI: 10.48550/arXiv.2208.07650. arXiv: 2208.07650. URL: https://doi.org/10.48550/arXiv.2208.07650.

[382] Alexis Le Glaunec and Pierre Sutra. *Fixing Egalitarian Paxos*. unpublished research report.

[390] Fedor Ryabini, Alexey Gotsmam, and Pierre Sutra. *A problematic run in Apache Accord*. URL: https://issues.apache.org/jira/browse/CASSANDRA-18365.

[391] Fedor Ryabinin, Alexey Gotsman, and Pierre Sutra. "Swiftpaxos Fast Geo-Replicated State Machines". In: *NSDI '24: 21st USENIX Symposium on Networked Systems Design and Implementation (to appear)*.
Open Problems

<table><tr><td>What are the Pareto-optimal solutions for consensus?</td><td>7</td></tr><tr><td>Design a ROLL-optimal leaderless protocol for any (n, f).</td><td>15</td></tr><tr><td>Find the weakest failure detector for strongly-genuine atomic multicast when F ≠ Ø.</td><td>38</td></tr><tr><td>What is the weakest failure detector for k-set agreement in message passing?</td><td>41</td></tr><tr><td>Find a model for partial synchrony that is convenient both in theory and practice.</td><td>41</td></tr><tr><td>Is the consensus hierarchy robust for deterministic objects?</td><td>42</td></tr><tr><td>What is the minimal number of atomic registers for x-obstruction-free k-set agreement in shared memory?</td><td>43</td></tr><tr><td>What is the minimal number of atomic steps in the fast path of an adaptive adopt-commit object?</td><td>45</td></tr></table>
<figure><img src="image_11.png" /></figure>
<figure><img src="image_12.png" /></figure>
**Titre** : Contributions Pratiques et Théoriques à la Réplication de Machine à États

**Mots clés** : systèmes répartis, calcul réparti, mémoire partagée, consensus, réplication de machine à états, transactions

**Résumé** : La réplication de machine à états est un des piliers fondamentaux des infrastructures informa- tiques modernes. Cette technique assure la durabilité des données et offre une haute disponibilité aux ser- vices les plus essentiels. Elle est construite à l'aide de protocoles, tels que Paxos ou Raft, qui permettent de maintenir les répliques continûment à jour. Cette ha- bilitation à diriger des recherches présente plusieurs contributions à la théorie et la pratique de la réplication de machine à états.

Dans les algorithmes usuels de la réplication de ma- chine à états, les opérations qui accèdent au service répliqué sont ordonnées par une machine distincte, ou leader. Notre première contribution est l'identification d'une nouvelle classe de protocoles dits sans leader. Les protocoles sans leader permettent que chaque réplique progresse indépendamment en contactant un quorum de ses pairs. Nous introduisons plusieurs propriétés afin de caractériser cette classe de proto-

coles et nous étudions leurs limites. Par ailleurs, nous présentons des protocoles efficaces pour les systèmes géo-répartis s'appuyant sur l'indépendance des fautes.

Quand les données du service sont morcelées entre les répliques, on parle de réplication partielle. Notre se- conde contribution est de définir la réplication partielle de machine à états pour de tels environnements. Là aussi, nous présentons des protocoles efficaces. Par ailleurs, nous identifions les conditions de synchronie minimales qui permette à une telle abstraction d'être mise en œuvre.

D'un point de vue calculabilité, les systèmes répartis sont équivalents à ceux à mémoire partagée dans de nombreux cas pratiques. Notre dernière contribution consiste en plusieurs résultats sur le coût et les condi- tions de résolubilité en mémoire partagée de l'accord et ses variantes (objet adopt-commit, k-accord, et par extension, la réplication de machine à états).

**Title** : Contributions to the Practice and Theory of State-Machine Replication

**Keywords** : distributed systems, distributed computing, shared memory, consensus, state-machine replication, transactions

**Abstract** : State-machine replication (SMR) is one of the cornerstones of modern computing infrastructures. It ensures the durability of data and provides high avail- ability to essential services. SMR is built atop distribu- ted protocols such as Paxos and Raft that keep in sync the service replicas. In this thesis, we present several contributions to the theory and practice of SMR.

Our first contribution is to identify a new class of lea- derless protocols. In typical SMR protocols, all the ope- rations accessing the service are ordered by a leader replica. On the contrary, leaderless protocols allow re- plicas to make progress independently by contacting a nearby quorum. We introduce several key properties for leaderless SMR and study some of its limits. We also contribute new protocols for geo-distributed systems

that leverage failure independence in this setting.

When data is sharded across replicas, one talks about partial replication. Our second contribution is to de- fine partial state-machine replication (PSMR) for such environments. We contribute several efficient PSMR protocols and identify the minimal synchrony assump- tions under which such an abstraction is implementable.

Distributed systems are computationally equivalent to shared memory ones in many practical cases. Our last contribution consists in several results exploring the costs and conditions under which agreement (adopt- commit object, k-set agreement, and by extension SMR) is solvable in shared memory.