46 citations · 82 across the 15 of their papers we have counts for
16 papers
LeaseGuard: Raft Leases Done Right
A. Jesse Jiryu Davis, Murat Demirbas, Lingzhi Deng
Raft is a leading consensus algorithm for replicating writes in distributed databases. However, distributed databases also require consistent reads. To guarantee read consistency,…
How to Evaluate Distributed Coordination Systems? -- A Survey and Analysis
Bekir Turkkan, Elvis Rodrigues, Tevfik Kosar +3
Coordination services and protocols are critical components of distributed systems and are essential for providing consistency, fault tolerance, and scalability. However, due to th…
BunchBFT: Across-Cluster Consensus Protocol
Salem Alqahtani, Murat Demirbas
In this paper, we present BunchBFT Byzantine fault-tolerant state-machine replication for high performance and scalability. At the heart of BunchBFT is a novel design called the cl…
BigBFT: A Multileader Byzantine Fault Tolerance Protocol for High Throughput
Salem Alqahtani, Murat Demirbas
This paper describes BigBFT, a multi-leader Byzantine fault tolerance protocol that achieves high throughput and scalable consensus in blockchain systems. BigBFT achieves this by (…
Bottlenecks in Blockchain Consensus Protocols
Salem Alqahtani, Murat Demirbas
Most of the Blockchain permissioned systems employ Byzantine fault-tolerance (BFT) consensus protocols to ensure that honest validators agree on the order for appending entries to…
Scaling Replicated State Machines with Compartmentalization [Technical Report]
Michael Whittaker, Ailidani Ailijiang, Aleksey Charapko +6
State machine replication protocols, like MultiPaxos and Raft, are a critical component of many distributed systems and databases. However, these protocols offer relatively low thr…
Scaling Strongly Consistent Replication
Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas
Strong consistency replication helps keep application logic simple and provides significant benefits for correctness and manageability. Unfortunately, the adoption of strongly-cons…
Performance Analysis and Comparison of Distributed Machine Learning Systems
Salem Alqahtani, Murat Demirbas
Deep learning has permeated through many aspects of computing/processing systems in recent years. While distributed training architectures/frameworks are adopted for training large…
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores
Duong Nguyen, Aleksey Charapko, Sandeep S Kulkarni +1
Consistency properties provided by most key-value stores can be classified into sequential consistency and eventual consistency. The former is easier to program with but suffers fr…
CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions
Mohammad Roohitavaf, Murat Demirbas, Sandeep Kulkarni
Causal consistency is an intermediate consistency model that can be achieved together with high availability and performance requirements even in presence of network partitions. In…
Technical Report: Optimistic Execution in Key-Value Store
Duong Nguyen, Aleksey Charapko, Sandeep Kulkarni +1
Limitations of the CAP theorem imply that if availability is desired in the presence of network partitions, one must sacrifice sequential consistency, a consistency model that is m…
Does The Cloud Need Stabilizing?
Murat Demirbas, Aleksey Charapko, Ailidani Ailijiang
The last decade has witnessed rapid proliferation of cloud computing. While even the smallest distributed programs (with 3-5 actions) produce many unanticipated error cases due to…
Optimistic Execution in Key-Value Store
Duong Nguyen, Aleksey Charapko, Sandeep Kulkarni +1
Limitations of CAP theorem imply that if availability is desired in the presence of network partitions, one must sacrifice sequential consistency, a consistency model that is more…
Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni +2
In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions amon…
WPaxos: Wide Area Network Flexible Consensus
Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas +1
WPaxos is a multileader Paxos protocol that provides low-latency and high-throughput consensus across wide-area network (WAN) deployments. WPaxos uses multileaders, and partitions…
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems
Sorrachai Yingchareonthawornchai, Duong Nguyen, Vidhya Tekken Valapil +2
Runtime verification focuses on analyzing the execution of a given program by a monitor to determine if it is likely to violate its specifications. There is often an impedance mism…