Abstraction for Crash-Resilient Objects.

Artem Khyzha, Ori Lahav

Browse the full ESOP paper archive.