Lecture: File Systems: FSCQ

Date: 2/20/17

Reading

• Required reading: Using Crash Hoare Logic for Certifying the FSCQ File System, Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich, SOSP, 2015.