Quasi-Linearizability is Undecidable.

Chao Wang, Yi Lv, Gaoang Liu, Peng Wu

Browse the full APLAS paper archive.