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

Brian Norris, Brian Demsky

Browse the full OOPSLA paper archive.