CheckFence: checking consistency of concurrent data types on relaxed memory models.

Sebastian Burckhardt Rajeev Alur Milo M. K. Martin

Published in: PLDI (2007)

Keyphrases

data types
data model
data structure
back end
database management systems
user defined
database systems
type checking
database server
preprocessing
metadata
machine learning
neural network
databases
data sets
consistency checking
microsoft sql server
database