Ranadeep Biswas

According to our database, Ranadeep Biswas authored at least 6 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

MonkeyDB: effectively testing correctness under weak isolation levels.

Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal

Proc. ACM Program. Lang., 2021

MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels.

Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal

CoRR, 2021

2020

Boosting Sequential Consistency Checking Using Saturation.

Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

On the complexity of checking transactional consistency.

Ranadeep Biswas, Constantin Enea

Proc. ACM Program. Lang., 2019

Checking Causal Consistency of Distributed Databases.

Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Proceedings of the Networked Systems - 7th International Conference, 2019

On the Complexity of Checking Consistency for Replicated Data Types.

Ranadeep Biswas, Michael Emmi, Constantin Enea

Proceedings of the Computer Aided Verification - 31st International Conference, 2019