@inproceedings{Ridge_2015,
    doi = {10.1145/2815400.2815411},
    url = {https://doi.org/10.1145%2F2815400.2815411},
    year = {2015},
    month = {oct},
    publisher = {{ACM}},
    author = {Tom Ridge and David Sheets and Thomas Tuerk and Andrea Giugliano and Anil Madhavapeddy and Peter Sewell},
    title = {{SibylFS}},
    booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles}
}

@inproceedings{Ridge_2015, doi = {10.1145/2815400.2815411}, url = {https://doi.org/10.1145%2F2815400.2815411}, year = {2015}, month = {oct}, publisher = {{ACM}}, author = {Tom Ridge and David Sheets and Thomas Tuerk and Andrea Giugliano and Anil Madhavapeddy and Peter Sewell}, title = {{SibylFS}}, booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles} }