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

Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, and Peter Sewell. In Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP). .Tom RidgeDavid SheetsThomas TuerkAndrea GiuglianoAnil MadhavapeddyPeter Sewell

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

Abstract

No abstract available

Related

Under the hood with Apple's new Containerization frameworkJun 2025
Technical deep dive into Apple's new macOS Tahoe containerization framework using Kata Containers and Swift-based implementation.
Semi distributed filesystems with ZFS and SanoidApr 2025
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 systemsOct 2015
Paper on formal specification and testing of filesystems presented at SOSP 2015.
UnikernelsJan 2010