PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency.

Chase Norman, Adwait Godbole, Yatin A. Manerkar

Browse the full ASPLOS paper archive.