conftrace_

memory consistency

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

program testing (1) memory persistence (1) persistent memory (1) program correctness (1) persistancy bug (1) symbolic execution (1) bug detection (1) state space exploration (1)

Papers

AGAMOTTO: How Persistent is your Persistent Memory Application? OSDI 2020