conftrace_

concurrent system

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) crash safety (1) journaling system (1) transaction system (1) concurrent programming (1) synchronization primitive (1) latency-aware synchronization (1) shared data access (1) concurrent application (1) lock contention (1)

Papers

Protego: Overload Control for Applications with Unpredictable Lock Contention NSDI 2023 Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022 GoJournal: a verified, concurrent, crash-safe journaling system OSDI 2021