Travelled to:
1 × USA
Collaborated with:
B.Demsky
Talks about:
structur (1) schecker (1) written (1) concurr (1) check (1) data (1) atom (1)
Person: Brian Norris
DBLP: Norris:Brian
Contributed to:
Wrote 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.