@inproceedings{2015_sosp_sibylfs,
  address = {Monterey California},
  author = {Tom Ridge and David Sheets and Thomas Tuerk and Andrea Giugliano and Anil Madhavapeddy and Peter Sewell},
  booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles},
  doi = {10.1145/2815400.2815411},
  month = {oct},
  pages = {38--53},
  publisher = {ACM},
  title = {SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems},
  url = {https://dl.acm.org/doi/10.1145/2815400.2815411},
  year = {2015}}