# 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 Links: [PDF](https://anil.recoil.org/papers/2015-sosp-sibylfs.pdf), [BIB](https://anil.recoil.org/papers/2015-sosp-sibylfs.bib), [DOI](https://doi.org/10.1145/2815400.2815411), [URL](https://dl.acm.org/doi/10.1145/2815400.2815411) (dl.acm.org) ## Abstract No abstract available 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 - [.plan-26-37: The humans aren't dead, the humans are ahead](https://anil.recoil.org/notes/2026w37) (note, 2026-09-13) Mathematics gets its AI reckoning after security, thinking through formative assessment for the CST Tripos, triaging Scrutineer bugs without panicking, and an Echo Labs visit. - [Compiling Lean specifications into OxCaml enforcement automata](https://anil.recoil.org/ideas/lean-dijkstra-automata) (idea, 2026-08-01) Available · MPhil - [The Internet needs an antibotty immune system, stat](https://anil.recoil.org/notes/internet-immune-system) (note, 2026-04-08) Anthropic's Mythos makes autonomous vulnerability chaining across devices a sudden reality, so I've been thinking about how digital 'antibotty' inoculation networks may be needed far sooner than I expected. - [Under the hood with Apple's new Containerization framework](https://anil.recoil.org/notes/apple-containerisation) (note, 2025-06-11) Technical deep dive into Apple's new macOS Tahoe containerization framework using Kata Containers and Swift-based implementation. - [Semi distributed filesystems with ZFS and Sanoid](https://anil.recoil.org/notes/syncoid-sanoid-zfs) (note, 2025-04-05) Exploring ZFS and Sanoid for distributed filesystem management with automated snapshots and replication to replace centralized NFS storage. - [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) Paper on formal specification and testing of filesystems presented at SOSP 2015. - [Unikernels](https://anil.recoil.org/projects/unikernels) (project, 2010-01-01) --- Canonical: https://anil.recoil.org/papers/2015-sosp-sibylfs Type: paper License: CC BY 4.0 Tags: formal, linux, storage, systems, testing, conference