CCICheck: using hb graphs to verify the coherence-consistency interface.

Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi

Browse the full MICRO paper archive.