26 citations · 36 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 8 cited
Robustness Against Transactional Causal Consistency
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Distributed storage systems and databases are widely used by various types of applications. Transactional access to these storage systems is an important abstraction allowing appli…
cs.LO2019
Checking Robustness Against Snapshot Isolation
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Transactional access to databases is an important abstraction allowing programmers to consider blocks of actions (transactions) as executing in isolation. The strongest consistency…