research
∙
02/17/2023
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads
The transactional robustness problem revolves around deciding whether, f...
share
research
∙
01/13/2022
Robustness against Read Committed for Transaction Templates with Functional Constraints
The popular isolation level Multiversion Read Committed (RC) trades some...
research
∙
07/26/2021
