Sign in

Composing locks by decomposing deadlocks.

Hari K. Pyla
Published in: OOPSLA Companion (2011)
Keyphrases
  • static analysis
  • concurrency control
  • database
  • real world
  • information systems
  • cooperative
  • deadlock detection
  • machine learning
  • data model