Lecture preparation

Before lecture, read the paper assigned below, and submit two items to the submission website:

Also keep in mind that you will need to write a paper summary for your choice of papers throughout the semester.


Read the paper SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems by Ridge et al.

Why are we reading this paper?

What to learn from this paper?

Answer this question

A challenge for the SibylFS authors is that there exists no reference implementation of POSIX, but there are many file systems that implement something that is close to POSIX. To allow for different implementations, the SibylFS's specification is non-deterministic in several areas. Give an example of such a non-determinism in the SibylFS specification and explain what degrees of freedom it provides to file-system implementors.