Login / Signup

Flint: fixing linearizability violations.

Peng LiuOmer TrippXiangyu Zhang
Published in: OOPSLA (2014)
Keyphrases
  • computer vision
  • lower bound
  • dynamic programming
  • constraint violations