Effective Data-Race Detection for the Kernel.

John Erickson Madanlal Musuvathi Sebastian Burckhardt Kirk Olynyk

Published in: OSDI (2010)

Keyphrases

data sets
data collection
data analysis
database
experimental data
high quality
complex data
input space
raw data
complex structures
object detection
data points
input data
knowledge discovery
computer systems
high dimensional data
kernel methods
data sources
data quality
prior knowledge
feature space
data structure