The virtues of conflict: analysing modern concurrency.

Ganesh Narayanaswamy Saurabh Joshi Daniel Kroening

Published in: PPOPP (2016)

Keyphrases

conflict resolution
database systems
concurrency control
resolving conflicts
neural network
multiscale
software systems
real world
data mining
artificial intelligence
data flow
transaction processing
concurrency control protocols