# SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems

*2015-10-01 — paper*

Authors: Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell







No abstract available






DOI: 10.1145/2815400.2815411
Classification: full
Venue: Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP)
URL: https://dl.acm.org/doi/10.1145/2815400.2815411

## Related

- [The Internet needs an antibotty immune system, stat](https://anil.recoil.org/notes/internet-immune-system) (note, 2026-04-08)
- [Under the hood with Apple's new Containerization framework](https://anil.recoil.org/notes/apple-containerisation) (note, 2025-06-11)
- [Semi distributed filesystems with ZFS and Sanoid](https://anil.recoil.org/notes/syncoid-sanoid-zfs) (note, 2025-04-05)
- [SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems](https://anil.recoil.org/notes/2015-sosp-sibylfs-1) (note, 2015-10-01)
- [Unikernels](https://anil.recoil.org/projects/unikernels) (project, 2010-01-01)

---
Canonical: https://anil.recoil.org/papers/2015-sosp-sibylfs
Type: paper
Tags: formal, linux, storage, systems, testing, conference