ACM Symposium on Operating Systems Principles, SOSP 2015


Article Details
Title: SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Article URLs:
Alternative Article URLs:
Authors: Tom Ridge
  • University of Leicester
David Sheets
  • University of Cambridge
Thomas Tuerk
  • FireEye
Andrea Giugliano
  • University of Leicester
Anil Madhavapeddy
  • University of Cambridge
Peter Sewell
  • University of Cambridge
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sosp/RidgeSTGMS15
Author Comments:

Discuss this paper and its artifacts below