Mark Theng

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Concurrent Execution

Storage Systems

Naming Conventions

Top Venues

Publications

Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. OSDI (2022)
Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich
GoJournal: a verified, concurrent, crash-safe journaling system. OSDI (2021)