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.

systems168 conference164 ocaml121 unikernels52 biodiversity46 conservation45 distributed45 security44 mirageos43 opensource37 ai35 idea-done34 fp33 selfhosting31 sensing30 cloud30 journal28 ocamllabs27 idea-medium25 spatial24 multicore22 idea-ongoing19 xen17 llms17 ubicomp17 idea-hard17 idea-beginner16 forests16 hci16 carboncredits16 mobile15 idea-available15 devtools15 icfp15 economics15 networks15

show: [all tags]

202559 202462 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 )