research
∙
08/04/2022
Impact of the Consistency Model on Checkpointing of Distributed Shared Memory
In this report, we consider the impact of the consistency model on check...
share
research
∙
07/25/2020
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report)
Monitoring distributed systems to ensure their correctness is a challeng...
research
∙
05/03/2019
An Efficient Approach to Achieve Compositionality using Optimized Multi-Version Object Based Transactional Systems
In the modern era of multi-core systems, the main aim is to utilize the ...
research
∙
04/07/2019
Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics
Software Transactional Memory Systems (STMs) provides ease of multithrea...
research
∙
12/18/2018
CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions
Causal consistency is an intermediate consistency model that can be achi...
research
∙
05/25/2018
Technical Report: Optimistic Execution in Key-Value Store
Limitations of CAP theorem imply that if availability is desired in the ...
research
∙
03/22/2018
Toward Adaptive Causal Consistency for Replicated Data Stores
Causal consistency for key-value stores has two main requirements (1) do...
research
∙
01/22/2018
Optimistic Execution in Key-Value Store
Limitations of CAP theorem imply that if availability is desired in the ...
research
∙
01/15/2018
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores
We present our framework DKVF that enables one to quickly prototype and ...
research
∙
12/28/2017
