CDSchecker: checking concurrent data structures written with C/C++ atomics (0)

by Brian Norris, Brian Demsky
Venue:Object Oriented Programming Systems Languages & Applications (OOPSLA), 2013