Caper - Automatic Verification for Fine-Grained Concurrency.

Thomas Dinsdale-Young Pedro da Rocha Pinto Kristoffer Just Andersen Lars Birkedal

Published in: ESOP (2017)

Keyphrases

fine grained
concurrency control
coarse grained
access control
database systems
tightly coupled
massively parallel
image segmentation
data lineage