CDSchecker: checking concurrent data structures written with C/C++ atomics.

Brian Norris Brian Demsky

Published in: OOPSLA (2013)

Keyphrases

data structure
consistency checking
suffix tree
mutual exclusion
efficient data structures
real time
neural network
computer vision
information systems
web services
expert systems
high dimensional
user interface
index structure
concurrent execution
concurrent programs