conftrace_

persistancy bug

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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