Anil Madhavapeddy, Professor of Planetary Computing

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.

Paper in the proceedings of the 25th Symposium on Operating Systems Principles.

URL (dl.acm.org) DOI BIB PDF

No abstract available

# 1st Oct 2015

papers conference formal linux storage systems testing

Related News

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

This is a conference paper published on the 1st Oct 2015 by Anil Madhavapeddy. Browse related tags from the topics below, or switch to the news view to browse updates.

conference163 systems159 ocaml112 unikernels51 distributed44 mirageos43 security42 opensource35 idea-done34 fp33 conservation32 cloud30 biodiversity29 ai27 ocamllabs27 journal26 selfhosting25 idea-medium25 sensing24 multicore22 spatial20 xen17 idea-ongoing17 ubicomp17 hci16 carboncredits16 mobile15 devtools15 icfp15 economics15 idea-hard15

show: [all tags]

202519 202461 202325 202214 202114 202014 20197 201810 20175 20169 2015115 201421 201319 201216 201115 201015 20092 20084 20072 20061 20059 20047 20037 20024 20015 20003 19991

This site is © 1998-2025 Anil Madhavapeddy, all rights reserved, except where the content is otherwise licensed. There are no third-party trackers. You can follow me on the usual social media and some self-hosted ones.

Chat (Bluesky / Mastodon / LinkedIn / ~~Twitter~~)
Video (Recoil / EEG / OCaml)
Code (GitHub / GitLab@cam)
Feed (Atom )