A Better Reduction Theorem for Store Buffers

Ernie Cohen Norbert Schirmer A Better Reduction Theorem for Store Buffers http://arxiv.org/abs/0909.4637 2009 CoRR abs/0909.4637 db/journals/corr/corr0909.html#abs-0909-4637 informal publication