conftrace_

snapshot consistency

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

flash translation layer (1) collaborative editing (1) conflict-free replicated data type (1) cryptographic accumulator (1) fork-causal consistency (1) crash recovery (1) symbolic execution (1) formal verification (1)

Papers

Acumen: A Platform for Encrypted and Accountable Collaborative Editing OSDI 2026 Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer OSDI 2020