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