Zhilei Han, Fei He 0001. Robustness Verification for Checking Crash Consistency of Non-volatile Memory. In Lieven Eeckhout, Georgios Smaragdakis, Kaitai Liang, Adrian Sampson, Martha A. Kim, Christopher J. Rossbach, editors, Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1, ASPLOS 2025, Rotterdam, The Netherlands, 30 March 2025 - 3 April 2025. pages 955-969, ACM, 2025. [doi]
Abstract is missing.