RT DW A1 Liu, Shuyang. T1 Correctness of Software Tools Under Weak Memory Models