1 citations · 3 across the 7 of their papers we have counts for
8 papers
An Efficient Approach to Achieve Compositionality using Optimized Multi-Version Object Based Transactional Systems
Chirag Juyal, Sandeep Kulkarni, Sweta Kumari +2
In the modern era of multi-core systems, the main aim is to utilize the cores properly. This utilization can be done by concurrent programming. But developing a flawless and well-o…
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…
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores
Mohammad Roohitavaf, Sandeep Kulkarni
We present our framework DKVF that enables one to quickly prototype and evaluate new protocols for key-value stores and compare them with existing protocols based on selected bench…
Derivation of Network Reprogramming Protocol with Z3
Vidhya Tekken-Valapil, Sandeep S. Kulkarni
Networks protocols are the heart of communication networks. An efficient network protocol does maximum utilization of the underlying network capabilities. Network Protocol synthesi…
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…
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…