9 citations · 38 across the 22 of their papers we have counts for
Showing 2021 · cs.PLShow all
2 papers · 2 filters
cs.PL2021
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…
cs.PL2021★ 1 cited
Checking Robustness Between Weak Transactional Consistency Models
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Concurrent accesses to databases are typically encapsulated in transactions in order to enable isolation from other concurrent computations and resilience to failures. Modern datab…