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
∙
10/24/2018
On the analysis of scheduling algorithms for structured parallel computations
Algorithms for scheduling structured parallel computations have been wid...
research
∙
10/24/2018
Scheduling computations with provably low synchronization overheads
Work Stealing has been a very successful algorithm for scheduling parall...
research
∙
12/31/2017