View-Based Owicki-Gries Reasoning for Persistent x86-TSO.

Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson

Browse the full ESOP paper archive.