Login / Signup

Mechanized verification of a fine-grained concurrent queue from meta's folly library.

Simon Friis VindumDan FruminLars Birkedal
Published in: CPP (2022)
Keyphrases
  • fine grained
  • coarse grained
  • access control
  • steady state
  • model checking
  • queue length
  • massively parallel
  • tightly coupled
  • database
  • markov chain
  • concurrency control
  • natural language