Line-up: a complete and automatic linearizability checker.

Sebastian Burckhardt Chris Dern Madanlal Musuvathi Roy Tan

Published in: PLDI (2010)

Keyphrases

information retrieval
three dimensional
semi automatic
machine learning
data driven
real world
multimedia
high level
database systems
multiscale
expert systems
artificial neural networks
evolutionary algorithm
multiresolution
d objects