Ranadeep Biswas

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 9

Top Topics

Concurrency Control Protocols

Semantically Heterogeneous

Consistency Checking

Top Venues

Proc. ACM Program. Lang.

Publications

Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Checking causal consistency of distributed databases. Computing 104 (10) (2022)
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
MonkeyDB: effectively testing correctness under weak isolation levels. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels. CoRR (2021)
Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Boosting Sequential Consistency Checking Using Saturation. ATVA (2020)
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Checking Causal Consistency of Distributed Databases. CoRR (2020)
Ranadeep Biswas, Constantin Enea
On the Complexity of Checking Transactional Consistency. CoRR (2019)
Ranadeep Biswas, Michael Emmi, Constantin Enea
On the Complexity of Checking Consistency for Replicated Data Types. CAV (2) (2019)
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Checking Causal Consistency of Distributed Databases. NETYS (2019)
Ranadeep Biswas, Constantin Enea
On the complexity of checking transactional consistency. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)