2 citations · 6 across the 13 of their papers we have counts for
20 papers · 1 filter
Extending Lattice linearity for Self-Stabilizing Algorithms
Arya Tanmay Gupta, Sandeep S Kulkarni
In this article, we focus on extending the notion of lattice linearity to self-stabilizing programs. Lattice linearity allows a node to execute its actions with old information abo…
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…
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report)
Vidhya Tekken Valapil, Sandeep Kulkarni, Eric Torng +1
Monitoring distributed systems to ensure their correctness is a challenging and expensive but essential problem. It is challenging because while execution of a distributed system c…
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…