Teapot: Language Support for Writing Memory Coherence Protocols.

Satish Chandra, Brad Richards, James R. Larus

Browse the full PLDI paper archive.