TSO-to-TSO Linearizability Is Undecidable.

Chao Wang, Yi Lv, Peng Wu

Browse the full ATVA paper archive.