2 citations · 7 across the 10 of their papers we have counts for
10 papers
Impact of the Consistency Model on Checkpointing of Distributed Shared Memory
Sandeep Kulkarni, Duong Nguyen, Lewis Tseng +1
In this report, we consider the impact of the consistency model on checkpointing and rollback algorithms for distributed shared memory. In particular, we consider specific implemen…
Technical Report: Using Static Analysis to Compute Benefit of Tolerating Consistency
Duong Nguyen, Arya Tanmay Gupta, Sandeep S. Kulkarni
Synchronization is the Achilles heel of concurrent programs. Synchronization requirement is often used to ensure that the execution of the concurrent program can be serialized. Wit…
Achieving Causality with Physical Clocks
Sandeep S Kulkarni, Gabe Appleton, Duong Nguyen
Physical clocks provide more precision than applications can use. For example, a 64 bit NTP clock allows a precision of 233 picoseconds. In this paper, we focus on whether the leas…
Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores
Duong Nguyen, Sandeep S. Kulkarni
In this paper, we evaluate and compare the performance of two approaches, namely self-stabilization and rollback, to handling consistency violating faults (\cvf) that occur when a…
Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores
Duong Nguyen, Sandeep S. Kulkarni
In this paper, we evaluate and compare the performance of two approaches, namely self-stabilization and rollback, to handling consistency violation faults (cvf) that occurred when…
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…
Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study
Duong Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta
In this paper, we focus on the implementation of distributed programs in using a key-value store where the state of the nodes is stored in a replicated and partitioned data store t…
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…
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…
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…