Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8.

Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang

Browse the full PLDI paper archive.