Truc Lam Bui Krishnendu Chatterjee Tushar Gautam Andreas Pavlogiannis Viktor Toman The reads-from equivalence for the TSO and PSO memory models. 1-30 2021 5 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3485541 db/journals/pacmpl/pacmpl5.html#BuiCGPT21
