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.
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.
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.
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).
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).
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.
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.
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).
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.
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).
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.
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.
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.
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).
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.
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.
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.
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.
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).
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).
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).
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.
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.
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.
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).
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).
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).
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).
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).
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).
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).
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).
Ma T and Wang H. A pipelined Single-Phase Paxos Extension without lease. 2019 IEEE International Conference on Robotics and Biomimetics (ROBIO). (1607-1614).
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).
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).
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).
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).
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).
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.
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.
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).
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).
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).
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.
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.
Rizvi S, Wong B and Keshav S. Canopus. Proceedings of the 13th International Conference on emerging Networking EXperiments and Technologies. (426-438).
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.
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).
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).
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.
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.
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.
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).
Shi R and Wang Y. Cheap and available state machine replication. Proceedings of the 2016 USENIX Conference on Usenix Annual Technical Conference. (265-279).
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.
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.
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).
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).
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).
Zhao W.
(2015). Fast Paxos Made Easy. International Journal of Distributed Systems and Technologies. 6:1. (15-33). Online publication date: 1-Jan-2015.
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.
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).
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).
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).
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).
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).
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.
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).
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.
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).
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).
Tsuchiya T and Schiper A. Using Bounded Model Checking to Verify Consensus Algorithms. Proceedings of the 22nd international symposium on Distributed Computing. (466-480).
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).
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).
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).
Camargos L, Schmidt R and Pedone F. Multicoordinated Paxos. Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing. (316-317).
Guerraoui R and VukoliĆ M. Refined quorum systems. Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing. (119-128).