research
∙
09/11/2023
Sound Atomicity Inference for Data-Centric Synchronization
Data-Centric Concurrency Control (DCCC) shifts the reasoning about concu...
share
research
∙
12/30/2022
Anticipation of Method Execution in Mixed Consistency Systems – Technical Report
Distributed applications often deal with data with different consistency...
research
∙
09/12/2022
