Higher-Order Leak and Deadlock Free Locks.

Jules Jacobs Stephanie Balzer

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

deadlock free
higher order
concurrency control
distributed databases
database management systems
fine grained
high order
transaction processing
pairwise
distributed database systems
markov random field
database systems
b tree
routing algorithm
private information
database
similarity measure
website