Co-Design and Verification of an Available File System.

Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster

Browse the full VMCAI paper archive.