9 citations · 9 across the 2 of their papers we have counts for
3 papers
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada +2
Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale storage systems for storing and retrieving data. In the presen…
Checking Causal Consistency of Distributed Databases
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani +2
The CAP Theorem shows that (strong) Consistency, Availability, and Partition tolerance are impossible to be ensured together. Causal consistency is one of the weak consistency mode…
On the Complexity of Checking Transactional Consistency
Ranadeep Biswas, Constantin Enea
Transactions simplify concurrent programming by enabling computations on shared data that are isolated from other concurrent computations and are resilient to failures. Modern data…