Foundations of empirical memory consistency testing. - Jake Kirkham; Tyler Sorensen 001; Esin Tureci; Margaret Martonosi (Proc. ACM Program. Lang., 2020)