Mark Theng

According to our database, Mark Theng authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning.

Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

GoJournal: a verified, concurrent, crash-safe journaling system.

Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021