conftrace_

Mark Theng

2 papers · 2021–2022 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🧭 Keyword Pioneer 🐝 Cross-Pollinator (13)

Conferences

OSDI (2)

Top co-authors

Tej Chajed (2) Joseph Tassarotti (2) M. Frans Kaashoek (2) Nickolai Zeldovich (2) Ralf Jung (1)

Keywords

concurrent system (2) formal verification (2) sequential reasoning (1) proof assistant (1) crash safety (1) journaling system (1) transaction system (1) file system (1)

Papers

Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022 GoJournal: a verified, concurrent, crash-safe journaling system OSDI 2021