Bornholt, Torlak, 2017. Synthesizing memory models from framework sketches and Litmus tests 52.. https://doi.org/10.1145/3140587.3062353