Composing locks by decomposing deadlocks.

Published in: OOPSLA Companion (2011)

Keyphrases

static analysis
concurrency control
database
real world
information systems
cooperative
deadlock detection
machine learning
data model