PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications.

Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi, Aarti Gupta

Browse the full MICRO paper archive.