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
https://anil.recoil.org/papers/2015-sosp-sibylfs10.1145/2815400.2815411image
Abstract
No abstract available
Related
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.
Available · MPhil
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.
Technical deep dive into Apple's new macOS Tahoe containerization framework using Kata Containers and Swift-based implementation.
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