Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Freitas A, Rodrigues L and Duarte E. (2024). vCubeChain. Ad Hoc Networks. 158:C. Online publication date: 1-May-2024.

    https://doi.org/10.1016/j.adhoc.2024.103461

  • Honoré W, Qiu L, Kim Y, Shin J, Kim J and Shao Z. (2024). AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects. Proceedings of the ACM on Programming Languages. 8:OOPSLA1. (419-448). Online publication date: 29-Apr-2024.

    https://doi.org/10.1145/3649826

  • Wu C, Amiri M, Qin H, Mehta B, Marcus R and Loo B. (2024). Towards Full Stack Adaptivity in Permissioned Blockchains. Proceedings of the VLDB Endowment. 17:5. (1073-1080). Online publication date: 1-Jan-2024.

    https://doi.org/10.14778/3641204.3641216

  • Paul S, Agha G, Patterson S and Varela C. (2023). Eventual consensus in Synod: verification using a failure-aware actor model. Innovations in Systems and Software Engineering. 19:4. (395-410). Online publication date: 1-Dec-2023.

    https://doi.org/10.1007/s11334-022-00463-5

  • Ouyang L, Huang Y, Huang B and Ma X. Leveraging TLA Specifications to Improve the Reliability of the ZooKeeperCoordination Service. Dependable Software Engineering. Theories, Tools, and Applications. (189-205).

    https://doi.org/10.1007/978-981-99-8664-4_11

  • Tonkikh A, Ponomarev P, Kuznetsov P and Pignolet Y. CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts. Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. (1556-1570).

    https://doi.org/10.1145/3576915.3616587

  • Hildred J, Abebe M and Daudjee K. (2023). Caerus: Low-Latency Distributed Transactions for Geo-Replicated Systems. Proceedings of the VLDB Endowment. 17:3. (469-482). Online publication date: 1-Nov-2023.

    https://doi.org/10.14778/3632093.3632109

  • Wang Y, Wang Z, Chai Y and Wang X. (2023). Rethink the Linearizability Constraints of Raft for Distributed Systems. IEEE Transactions on Knowledge and Data Engineering. 35:11. (11815-11829). Online publication date: 1-Nov-2023.

    https://doi.org/10.1109/TKDE.2023.3235399

  • Kurnia F and Venkataramani A. Oblivious Paxos. Proceedings of the 2023 ACM Symposium on Cloud Computing. (65-80).

    https://doi.org/10.1145/3620678.3624647

  • Tseng L, Zhou N, Dumas C, Bantikyan T and Palmieri R. Distributed Multi-writer Multi-reader Atomic Register with Optimistically Fast Read and Write. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. (479-488).

    https://doi.org/10.1145/3558481.3591086

  • Mattos D, Carrara G, Albuquerque C and Mossé D. (2023). Exploring Overlay Topology Cost-Termination Tradeoff in Blockchain Vicinity-Based Consensus. IEEE Transactions on Network and Service Management. 20:2. (1733-1744). Online publication date: 1-Jun-2023.

    https://doi.org/10.1109/TNSM.2022.3177363

  • Neamtu N, Ni H and Van Renesse R. Trees and Turtles: Modular Abstractions for State Machine Replication Protocols. Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data. (9-15).

    https://doi.org/10.1145/3578358.3592148

  • Zhou H, Qian W, Zhou X, Dong Q, Zhou A and Tan W. (2022). Scalable and adaptive log manager in distributed systems. Frontiers of Computer Science: Selected Publications from Chinese Universities. 17:2. Online publication date: 1-Apr-2023.

    https://doi.org/10.1007/s11704-022-1357-5

  • Galletta L, Laneve C, Mercanti I and Veschetti A. (2023). Resilience of Hybrid Casper Under Varying Values of Parameters. Distributed Ledger Technologies: Research and Practice. 2:1. (1-25). Online publication date: 31-Mar-2023.

    https://doi.org/10.1145/3571587

  • Xu Z and Chen L. (2022). L2chain. Proceedings of the VLDB Endowment. 16:4. (986-999). Online publication date: 1-Dec-2022.

    https://doi.org/10.14778/3574245.3574278

  • Gonçalves J, Matos M and Rodrigues R. (2022). <sc>SconeKV</sc>: A Scalable, Strongly Consistent Key-Value Store. IEEE Transactions on Parallel and Distributed Systems. 33:12. (4164-4175). Online publication date: 1-Dec-2022.

    https://doi.org/10.1109/TPDS.2022.3179903

  • Zhang Z, Hu H, Zhou X and Wang J. (2022). Starry. Proceedings of the VLDB Endowment. 16:1. (77-89). Online publication date: 1-Sep-2022.

    https://doi.org/10.14778/3561261.3561268

  • Mao C, Golab W and Wong B. Antipaxos: Taking Interactive Consistency to the Next Level. Proceedings of the 23rd International Conference on Distributed Computing and Networking. (128-137).

    https://doi.org/10.1145/3491003.3491012

  • Cason D, Milosevic N, Milosevic Z and Pedone F. Gossip consensus. Proceedings of the 22nd International Middleware Conference. (198-209).

    https://doi.org/10.1145/3464298.3493395

  • Arun B, Peluso S, Palmieri R, Losa G and Ravindran B. (2021). Taming the Contention in Consensus-Based Distributed Systems. IEEE Transactions on Dependable and Secure Computing. 18:6. (2907-2925). Online publication date: 1-Nov-2021.

    https://doi.org/10.1109/TDSC.2020.2970186

  • Jaber N, Wagner C, Jacobs S, Kulkarni M and Samanta R. (2021). QuickSilver: modeling and parameterized verification for distributed agreement-based systems. Proceedings of the ACM on Programming Languages. 5:OOPSLA. (1-31). Online publication date: 20-Oct-2021.

    https://doi.org/10.1145/3485534

  • Honoré W, Kim J, Shin J and Shao Z. (2021). Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems. Proceedings of the ACM on Programming Languages. 5:OOPSLA. (1-31). Online publication date: 20-Oct-2021.

    https://doi.org/10.1145/3485474

  • Goren G and Moses Y. (2021). Optimistically tuning synchronous byzantine consensus: another win for null messages. Distributed Computing. 34:5. (395-410). Online publication date: 1-Oct-2021.

    https://doi.org/10.1007/s00446-021-00393-8

  • Matte V, Charapko A and Aghayev A. Scalable but wasteful. Proceedings of the 13th ACM Workshop on Hot Topics in Storage and File Systems. (42-49).

    https://doi.org/10.1145/3465332.3470882

  • Chand S and Liu Y. Brief Announcement: What's Live? Understanding Distributed Consensus. Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. (565-568).

    https://doi.org/10.1145/3465084.3467947

  • Whittaker M, Ailijiang A, Charapko A, Demirbas M, Giridharan N, Hellerstein J, Howard H, Stoica I and Szekeres A. (2021). Scaling replicated state machines with compartmentalization. Proceedings of the VLDB Endowment. 14:11. (2203-2215). Online publication date: 1-Jul-2021.

    https://doi.org/10.14778/3476249.3476273

  • Xuan S, Chen Z, Chung I, Tan H, Man D, Du X, Yang W and Guizani M. (2021). ECBCM. Transactions on Emerging Telecommunications Technologies. 32:6. Online publication date: 13-Jun-2021.

    https://doi.org/10.1002/ett.4015

  • Amiri M, Agrawal D and El Abbadi A. SharPer: Sharding Permissioned Blockchains Over Network Clusters. Proceedings of the 2021 International Conference on Management of Data. (76-88).

    https://doi.org/10.1145/3448016.3452807

  • Paul S, Agha G, Patterson S and Varela C. Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NASA Formal Methods. (249-267).

    https://doi.org/10.1007/978-3-030-76384-8_16

  • Gavrielatos V, Katsarakis A and Nagarajan V. Odyssey. Proceedings of the Sixteenth European Conference on Computer Systems. (245-260).

    https://doi.org/10.1145/3447786.3456240

  • Esposito F, Mushtaq M, Berno M, Davoli G, Borsatti D, Cerroni W and Rossi M. (2021). Necklace: An Architecture for Distributed and Robust Service Function Chains With Guarantees. IEEE Transactions on Network and Service Management. 18:1. (152-166). Online publication date: 1-Mar-2021.

    https://doi.org/10.1109/TNSM.2020.3036926

  • Zhang Z, Guo B, Shen Y, Li C, Suo X, Su H and Cheikhrouhou O. (2021). Nakamoto Consensus to Accelerate Supervised Classification Algorithms for Multiparty Computing. Security and Communication Networks. 2021. Online publication date: 1-Jan-2021.

    https://doi.org/10.1155/2021/6629433

  • Fan H and Golab W. (2020). Gossip-based visibility control for high-performance geo-distributed transactions. The VLDB Journal — The International Journal on Very Large Data Bases. 30:1. (93-114). Online publication date: 1-Jan-2021.

    https://doi.org/10.1007/s00778-020-00626-5

  • Ngo K, Sen S and Lloyd W. Tolerating slowdowns in replicated state machines using copilots. Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation. (583-598).

    /doi/10.5555/3488766.3488799

  • Weiss J, Kwon A and Gilad Y. Proving Server Faults. Proceedings of the 19th ACM Workshop on Hot Topics in Networks. (74-80).

    https://doi.org/10.1145/3422604.3425942

  • Yi W, Di B, Li R, Dai H, Yi X, Wang Y and Yang X. An Actor-based Programming Framework for Swarm Robotic Systems. 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). (8012-8019).

    https://doi.org/10.1109/IROS45743.2020.9341198

  • Aiyer A, Liang X, Nalini N and Pandey O. Random Walks and Concurrent Zero-Knowledge. Applied Cryptography and Network Security. (24-44).

    https://doi.org/10.1007/978-3-030-57808-4_2

  • Wen Y, Lu F, Liu Y, Cong P and Huang X. Blockchain Consensus Mechanisms and Their Applications in IoT: A Literature Survey. Algorithms and Architectures for Parallel Processing. (564-579).

    https://doi.org/10.1007/978-3-030-60248-2_38

  • Cai S, Wang D, Wang Z and Wang H. CARD: A Congestion-Aware Request Dispatching Scheme for Replicated Metadata Server Cluster. Proceedings of the 49th International Conference on Parallel Processing. (1-11).

    https://doi.org/10.1145/3404397.3404411

  • Zhao G, Wu G, Song Y, Qiao B and Han D. Index-Based Scheduling for Parallel State Machine Replication. Web and Big Data. (808-823).

    https://doi.org/10.1007/978-3-030-60259-8_59

  • Saurez E, Balasubramanian B, Schlichting R, Tschaen B, Narayanan S, Huang Z and Ramachandran U. (2020). A drop-in middleware for serializable DB clustering across geo-distributed sites. Proceedings of the VLDB Endowment. 13:12. (3340-3353). Online publication date: 1-Aug-2020.

    https://doi.org/10.14778/3415478.3415555

  • Goldweber E, Zhang N and Kapritsos M. Brief Announcement: On the Significance of Consecutive Ballots in Paxos. Proceedings of the 39th Symposium on Principles of Distributed Computing. (172-174).

    https://doi.org/10.1145/3382734.3405700

  • Eischer M, Straßner B and Distler T. Low-latency geo-replicated state machines with guaranteed writes. Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data. (1-9).

    https://doi.org/10.1145/3380787.3393686

  • Kogias M and Bugnion E. HovercRaft. Proceedings of the Fifteenth European Conference on Computer Systems. (1-17).

    https://doi.org/10.1145/3342195.3387545

  • Katsarakis A, Gavrielatos V, Katebzadeh M, Joshi A, Dragojevic A, Grot B and Nagarajan V. Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol. Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. (201-217).

    https://doi.org/10.1145/3373376.3378496

  • Takruri H, Kettaneh I, Alquraan A and Al-Kiswany S. FLAIR. Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation. (723-738).

    /doi/10.5555/3388242.3388295

  • Burke M, Cheng A and Lloyd W. Gryff. Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation. (591-618).

    /doi/10.5555/3388242.3388286

  • Uluyol M, Huang A, Goel A, Chowdhury M and Madhyastha H. Near-optimal latency versus cost tradeoffs in geo-distributed storage. Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation. (157-180).

    /doi/10.5555/3388242.3388254

  • Ma T and Wang H. A pipelined Single-Phase Paxos Extension without lease. 2019 IEEE International Conference on Robotics and Biomimetics (ROBIO). (1607-1614).

    https://doi.org/10.1109/ROBIO49542.2019.8961801

  • Malkhi D, Nayak K and Ren L. Flexible Byzantine Fault Tolerance. Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. (1041-1053).

    https://doi.org/10.1145/3319535.3354225

  • Aksoy R and Kapritsos M. Aegean. Proceedings of the 27th ACM Symposium on Operating Systems Principles. (385-398).

    https://doi.org/10.1145/3341301.3359663

  • References. Concurrency. (319-333).

    https://doi.org/10.1145/3335772.3335940

  • Shahbaz M, Suresh L, Rexford J, Feamster N, Rottenstreich O and Hira M. Elmo. Proceedings of the ACM Special Interest Group on Data Communication. (458-471).

    https://doi.org/10.1145/3341302.3342066

  • Demoulin H, Vasilakis N, Sonchack J, Pedisich I, Liu V, Loo B, Phan L, Smith J and Zhang I. TMC. Proceedings of the 3rd Asia-Pacific Workshop on Networking. (15-21).

    https://doi.org/10.1145/3343180.3343194

  • Aguilera M, Ben-David N, Guerraoui R, Marathe V and Zablotchi I. The Impact of RDMA on Agreement. Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. (409-418).

    https://doi.org/10.1145/3293611.3331601

  • Wang Z, Zhao C, Mu S, Chen H and Li J. On the Parallels between Paxos and Raft, and how to Port Optimizations. Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. (445-454).

    https://doi.org/10.1145/3293611.3331595

  • Fan H and Golab W. (2019). Ocean vista. Proceedings of the VLDB Endowment. 12:11. (1471-1484). Online publication date: 1-Jul-2019.

    https://doi.org/10.14778/3342263.3342627

  • Wheeler T, Bharathi E and Gil S. Switching Topology for Resilient Consensus using Wi-Fi Signals. 2019 International Conference on Robotics and Automation (ICRA). (2018-2024).

    https://doi.org/10.1109/ICRA.2019.8793788

  • Park S and Ousterhout J. Exploiting commutativity for practical fast replication. Proceedings of the 16th USENIX Conference on Networked Systems Design and Implementation. (47-64).

    /doi/10.5555/3323234.3323240

  • Poirot V, Al Nahas B and Landsiedel O. Paxos Made Wireless: Consensus in the Air. Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks. (1-12).

    /doi/10.5555/3324320.3324322

  • Sakic E and Kellerer W. (2018). Impact of Adaptive Consistency on Distributed SDN Applications: An Empirical Study. IEEE Journal on Selected Areas in Communications. 36:12. (2702-2715). Online publication date: 1-Dec-2018.

    https://doi.org/10.1109/JSAC.2018.2871309

  • Mansouri Y, Toosi A and Buyya R. (2017). Data Storage Management in Cloud Environments. ACM Computing Surveys. 50:6. (1-51). Online publication date: 30-Nov-2018.

    https://doi.org/10.1145/3136623

  • Zhao H, Zhang Q, Yang Z, Wu M and Dai Y. SDPaxos. Proceedings of the ACM Symposium on Cloud Computing. (68-81).

    https://doi.org/10.1145/3267809.3267837

  • Wu Z, Wijaya E, Uluyol M and Madhyastha H. Bolt-On Global Consistency for the Cloud. Proceedings of the ACM Symposium on Cloud Computing. (55-67).

    https://doi.org/10.1145/3267809.3267835

  • Jepsen T, de Sousa L, Moshref M, Pedone F and Soulé R. Infinite Resources for Optimistic Concurrency Control. Proceedings of the 2018 Morning Workshop on In-Network Computing. (26-32).

    https://doi.org/10.1145/3229591.3229597

  • Suresh L, Malkhi D, Gopalan P, Carreiro I and Lokhandwala Z. Stable and consistent membership at scale with rapid. Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference. (387-399).

    /doi/10.5555/3277355.3277393

  • Hua J, Wang X, Kang M, Wang H and Wang F. Blockchain Based Provenance for Agricultural Products: A Distributed Platform with Duplicated and Shared Bookkeeping. 2018 IEEE Intelligent Vehicles Symposium (IV). (97-101).

    https://doi.org/10.1109/IVS.2018.8500647

  • Cai S, Yang N and Ming Z. A Decentralized Sharding Service Network Framework with Scalability. Web Services – ICWS 2018. (151-165).

    https://doi.org/10.1007/978-3-319-94289-6_10

  • Nawab F, Agrawal D and El Abbadi A. DPaxos. Proceedings of the 2018 International Conference on Management of Data. (1221-1236).

    https://doi.org/10.1145/3183713.3196928

  • Jin X, Li X, Zhang H, Foster N, Lee J, Soulé R, Kim C and Stoica I. Netchain. Proceedings of the 15th USENIX Conference on Networked Systems Design and Implementation. (35-49).

    /doi/10.5555/3307441.3307445

  • Padon O, Hoenicke J, Losa G, Podelski A, Sagiv M and Shoham S. (2017). Reducing liveness to safety in first-order logic. Proceedings of the ACM on Programming Languages. 2:POPL. (1-33). Online publication date: 1-Jan-2018.

    https://doi.org/10.1145/3158114

  • Zhang I, Sharma N, Szekeres A, Krishnamurthy A and Ports D. (2018). Building Consistent Transactions with Inconsistent Replication. ACM Transactions on Computer Systems. 35:4. (1-37). Online publication date: 30-Nov-2017.

    https://doi.org/10.1145/3269981

  • Rizvi S, Wong B and Keshav S. Canopus. Proceedings of the 13th International Conference on emerging Networking EXperiments and Technologies. (426-438).

    https://doi.org/10.1145/3143361.3143394

  • Li J, Michael E and Ports D. Eris. Proceedings of the 26th Symposium on Operating Systems Principles. (104-120).

    https://doi.org/10.1145/3132747.3132751

  • Padon O, Losa G, Sagiv M and Shoham S. (2017). Paxos made EPR: decidable reasoning about distributed protocols. Proceedings of the ACM on Programming Languages. 1:OOPSLA. (1-31). Online publication date: 12-Oct-2017.

    https://doi.org/10.1145/3140568

  • Ugliara F, Vieira G and de Oliveira Guimarães J. Transparent Replication Using Metaprogramming in Cyan. Proceedings of the 21st Brazilian Symposium on Programming Languages. (1-8).

    https://doi.org/10.1145/3125374.3125375

  • Saab W, Mohiuddin M, Bliudze S and Le Boudec J. Quarts: Quick agreement for real-time control systems. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). (1-8).

    https://doi.org/10.1109/ETFA.2017.8247590

  • Zheng J, Lin Q, Xu J, Wei C, Zeng C, Yang P and Zhang Y. (2017). PaxosStore. Proceedings of the VLDB Endowment. 10:12. (1730-1741). Online publication date: 1-Aug-2017.

    https://doi.org/10.14778/3137765.3137778

  • Liu S and Vukolić M. (2017). Leader Set Selection for Low-Latency Geo-Replicated State Machine. IEEE Transactions on Parallel and Distributed Systems. 28:7. (1933-1946). Online publication date: 1-Jul-2017.

    https://doi.org/10.1109/TPDS.2016.2636148

  • Alur R and Tripakis S. (2017). Automatic Synthesis of Distributed Protocols. ACM SIGACT News. 48:1. (55-90). Online publication date: 10-Mar-2017.

    https://doi.org/10.1145/3061640.3061652

  • Wei H, Huang Y and Lu J. (2017). Probabilistically-Atomic 2-Atomicity. IEEE Transactions on Computers. 66:3. (502-514). Online publication date: 1-Mar-2017.

    https://doi.org/10.1109/TC.2016.2601322

  • Luu L, Narayanan V, Zheng C, Baweja K, Gilbert S and Saxena P. A Secure Sharding Protocol For Open Blockchains. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. (17-30).

    https://doi.org/10.1145/2976749.2978389

  • Shi R and Wang Y. Cheap and available state machine replication. Proceedings of the 2016 USENIX Conference on Usenix Annual Technical Conference. (265-279).

    /doi/10.5555/3026959.3026984

  • Dang H, Canini M, Pedone F and Soulé R. (2016). Paxos Made Switch-y. ACM SIGCOMM Computer Communication Review. 46:2. (18-24). Online publication date: 9-Apr-2016.

    https://doi.org/10.1145/2935634.2935638

  • Liu S and Vukolić M. (2015). How many planet-wide leaders should there be?. ACM SIGMETRICS Performance Evaluation Review. 43:3. (3-6). Online publication date: 19-Nov-2015.

    https://doi.org/10.1145/2847220.2847222

  • Herault T, Bouteiller A, Bosilca G, Gamell M, Teranishi K, Parashar M and Dongarra J. Practical scalable consensus for pseudo-synchronous distributed systems. Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. (1-12).

    https://doi.org/10.1145/2807591.2807665

  • Nawab F, Arora V, Agrawal D and El Abbadi A. Minimizing Commit Latency of Transactions in Geo-Replicated Data Stores. Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. (1279-1294).

    https://doi.org/10.1145/2723372.2723729

  • Davidovič Š and Guliani K. (2015). Reliable Cron across the planet. Communications of the ACM. 58:6. (48-53). Online publication date: 21-May-2015.

    https://doi.org/10.1145/2732629

  • Ports D, Li J, Liu V, Sharma N and Krishnamurthy A. Designing distributed systems using approximate synchrony in data center networks. Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation. (43-57).

    /doi/10.5555/2789770.2789774

  • Van Renesse R and Altinbuken D. (2015). Paxos Made Moderately Complex. ACM Computing Surveys. 47:3. (1-36). Online publication date: 16-Apr-2015.

    https://doi.org/10.1145/2673577

  • Newcombe C, Rath T, Zhang F, Munteanu B, Brooker M and Deardeuff M. (2015). How Amazon web services uses formal methods. Communications of the ACM. 58:4. (66-73). Online publication date: 23-Mar-2015.

    https://doi.org/10.1145/2699417

  • Davidovi Š and Guliani K. (2015). Reliable Cron across the Planet. Queue. 13:3. (30-39). Online publication date: 1-Mar-2015.

    https://doi.org/10.1145/2742694.2745840

  • (2015). Time hybrid total order broadcast. Journal of Parallel and Distributed Computing. 77:C. (26-40). Online publication date: 1-Mar-2015.

    https://doi.org/10.1016/j.jpdc.2014.10.012

  • Zhao W. (2015). Fast Paxos Made Easy. International Journal of Distributed Systems and Technologies. 6:1. (15-33). Online publication date: 1-Jan-2015.

    https://doi.org/10.4018/ijdst.2015010102

  • Duan S, Peisert S and Levitt K. (2015). hBFT: Speculative Byzantine Fault Tolerance with Minimum Cost. IEEE Transactions on Dependable and Secure Computing. 12:1. (58-70). Online publication date: 1-Jan-2015.

    https://doi.org/10.1109/TDSC.2014.2312331

  • David T, Guerraoui R and Yabandeh M. Consensus inside. Proceedings of the 15th International Middleware Conference. (145-156).

    https://doi.org/10.1145/2663165.2663321

  • Mu S, Chen K, Wu Y and Zheng W. When paxos meets erasure code. Proceedings of the 23rd international symposium on High-performance parallel and distributed computing. (61-72).

    https://doi.org/10.1145/2600212.2600218

  • Ongaro D and Ousterhout J. In search of an understandable consensus algorithm. Proceedings of the 2014 USENIX conference on USENIX Annual Technical Conference. (305-320).

    /doi/10.5555/2643634.2643666

  • Newcombe C. Why Amazon Chose TLA+. Proceedings of the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 8477. (25-39).

    https://doi.org/10.1007/978-3-662-43652-3_3

  • Vieira G, Garcia I and Buzato L. (2014). Seamless Paxos coordinators. Cluster Computing. 17:2. (463-473). Online publication date: 1-Jun-2014.

    https://doi.org/10.1007/s10586-013-0264-9

  • Chang T, Duan S, Meling H, Peisert S and Zhang H. P2S. Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems. (189-197).

    https://doi.org/10.1145/2611286.2611305

  • Junqueira F and Serafini M. On Barriers and the Gap between Active and Passive Replication. Proceedings of the 27th International Symposium on Distributed Computing - Volume 8205. (299-313).

    https://doi.org/10.1007/978-3-642-41527-2_21

  • Schiper N, Rahli V, Van Renesse R, Bickford M and Constable R. ShadowDB. Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability. (7-7).

    /doi/10.5555/2387858.2387865

  • Faleiro J, Rajamani S, Rajan K, Ramalingam G and Vaswani K. Generalized lattice agreement. Proceedings of the 2012 ACM symposium on Principles of distributed computing. (125-134).

    https://doi.org/10.1145/2332432.2332458

  • Laden G, Melamed R and Vigfusson Y. (2012). Adaptive and dynamic funnel replication in clouds. ACM SIGOPS Operating Systems Review. 46:1. (40-46). Online publication date: 16-Feb-2012.

    https://doi.org/10.1145/2146382.2146390

  • Lamport L. Byzantizing paxos by refinement. Proceedings of the 25th international conference on Distributed computing. (211-224).

    /doi/10.5555/2075029.2075058

  • Marzullo K, Meling H and Mei A. Brief announcement: when you don't trust clients. Proceedings of the 25th international conference on Distributed computing. (143-144).

    /doi/10.5555/2075029.2075044

  • Lamport L. Brief announcement. Proceedings of the 25th international conference on Distributed computing. (141-142).

    /doi/10.5555/2075029.2075043

  • Tsuchiya T and Schiper A. (2011). Verification of consensus algorithms using satisfiability solving. Distributed Computing. 23:5-6. (341-358). Online publication date: 1-Apr-2011.

    https://doi.org/10.1007/s00446-010-0123-3

  • Alistarh D, Gilbert S, Guerraoui R and Travers C. Generating fast indulgent algorithms. Proceedings of the 12th international conference on Distributed computing and networking. (41-52).

    /doi/10.5555/1946143.1946147

  • Gilbert S, Lynch N and Shvartsman A. (2010). Rambo. Distributed Computing. 23:4. (225-272). Online publication date: 1-Dec-2010.

    https://doi.org/10.1007/s00446-010-0117-1

  • Kapritsos M and Junqueira F. Scalable agreement. Proceedings of the Sixth international conference on Hot topics in system dependability. (1-8).

    /doi/10.5555/1924908.1924910

  • Guerraoui R and Vukolić M. (2010). Refined quorum systems. Distributed Computing. 23:1. (1-42). Online publication date: 1-Sep-2010.

    https://doi.org/10.1007/s00446-010-0103-7

  • Charron-Bost B and Schiper A. (2009). The Heard-Of model. Distributed Computing. 22:1. (49-71). Online publication date: 1-Apr-2009.

    https://doi.org/10.1007/s00446-009-0084-6

  • Mao Y, Junqueira F and Marzullo K. Mencius. Proceedings of the 8th USENIX conference on Operating systems design and implementation. (369-384).

    /doi/10.5555/1855741.1855767

  • Chalopin J, Godard E and Métivier Y. Local Terminations and Distributed Computability in Anonymous Networks. Proceedings of the 22nd international symposium on Distributed Computing. (47-62).

    https://doi.org/10.1007/978-3-540-87779-0_4

  • Tsuchiya T and Schiper A. Using Bounded Model Checking to Verify Consensus Algorithms. Proceedings of the 22nd international symposium on Distributed Computing. (466-480).

    https://doi.org/10.1007/978-3-540-87779-0_32

  • Song Y and Renesse R. Bosco. Proceedings of the 22nd international symposium on Distributed Computing. (438-450).

    https://doi.org/10.1007/978-3-540-87779-0_30

  • Herlihy M, Junqueira F, Marzullo K and Penso L. Optimizing Threshold Protocols in Adversarial Structures. Proceedings of the 22nd international symposium on Distributed Computing. (335-349).

    https://doi.org/10.1007/978-3-540-87779-0_23

  • Sutra P and Shapiro M. Fault-Tolerant Partial Replication in Large-Scale Database Systems. Proceedings of the 14th international Euro-Par conference on Parallel Processing. (404-413).

    https://doi.org/10.1007/978-3-540-85451-7_44

  • Plantikow S, Reinefeld A and Schintke F. Transactions for distributed wikis on structured overlays. Proceedings of the Distributed systems: operations and management 18th IFIP/IEEE international conference on Managing virtualization of networks and services. (256-267).

    /doi/10.5555/1783374.1783407

  • Camargos L, Schmidt R and Pedone F. Multicoordinated Paxos. Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing. (316-317).

    https://doi.org/10.1145/1281100.1281150

  • Guerraoui R and VukoliĆ M. Refined quorum systems. Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing. (119-128).

    https://doi.org/10.1145/1281100.1281120

  • Junqueira F, Mao Y and Marzullo K. Classic Paxos vs. fast Paxos. Proceedings of the 3rd workshop on on Hot Topics in System Dependability. (18-es).

    /doi/10.5555/1323140.1323158