Login / Signup
Flint: fixing linearizability violations.
Peng Liu
Omer Tripp
Xiangyu Zhang
Published in:
OOPSLA (2014)
Keyphrases
</>
computer vision
lower bound
dynamic programming
constraint violations