Stem schecker$ (all stems)
1 papers:
OOPSLA-2013-NorrisD #c #c++ #concurrent #data type #named- CDSchecker: checking concurrent data structures written with C/C++ atomics (BN, BD), pp. 131–150.
OOPSLA-2013-NorrisD #c #c++ #concurrent #data type #named