Total store order (TSO) [Google Scholar] Notes: weak memory Papers: sewell:cacm:2010 Papers related to Total store order (TSO) CompCertTSO: A verified compiler for relaxed-memory concurrency [sevcik:jacm:2013] x86-TSO: A rigorous and usable programmer's model for x86 multiprocessors [sewell:cacm:2010]