On the complexity of checking transactional consistency R Biswas, C Enea Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019 | 41 | 2019 |
MonkeyDB: effectively testing correctness under weak isolation levels R Biswas, D Kakwani, J Vedurada, C Enea, A Lal Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021 | 12 | 2021 |
Checking causal consistency of distributed databases R Zennou, R Biswas, A Bouajjani, C Enea, M Erradi International Conference on Networked Systems, 35-51, 2019 | 9 | 2019 |
On the complexity of checking consistency for replicated data types R Biswas, M Emmi, C Enea Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 4 | 2019 |
Boosting sequential consistency checking using saturation R Zennou, MF Atig, R Biswas, A Bouajjani, C Enea, M Erradi Automated Technology for Verification and Analysis: 18th International …, 2020 | 3 | 2020 |
Automated formal testing of storage systems and applications R Biswas Université Paris Cité, 2021 | | 2021 |
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels R Biswas, D Kakwani, J Vedurada, C Enea, A Lal arXiv preprint arXiv:2103.02830, 2021 | | 2021 |