Checking robustness to weak persistency models.

Sat, 01 Jan 2022 00:00:00 +0100

Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu , Brian Demsky:
Checking robustness to weak persistency models. PLDI 2022: 490-505