Login / Signup
Repairing sequential consistency in C/C++11.
Ori Lahav
Viktor Vafeiadis
Jeehoon Kang
Chung-Kil Hur
Derek Dreyer
Published in:
PLDI (2017)
Keyphrases
</>
sequential search
consistency checking
global consistency
databases
database systems
search algorithm
database
real world
learning algorithm
information systems
decision making
relational databases
path consistency