Date: 2015-06-28
Categories: news; filesystems; publications
SOSP 2015 paper acceptance for SibylFS
Our paper "SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems" was just accepted to SOSP 2015 http://www.ssrc.ucsc.edu/sosp15/.
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.
Accepted to SOSP'15.
The Symposium on Operating Systems Principles, held every 2 years, is one of the top venues for research on operating systems. The paper describes the construction of a filesystem testing oracle, and its application to find bugs in real-world filesystems. It represents the culmination of more than 3 person-years of work. The work was partially funded by EPRSC under grant EP/K022741/1, and Microsoft under their PhD scholarship programme (which funds Andrea Giugliano, a PhD student).
Related posts:
- 2020-01-20 SQLite assumptions, or how to corrupt an SQLite database
- 2019-12-18 VeTSS annual summary
- 2019-08-30 B-tree random write performance
- 2019-08-21 ML'19 Workshop at ICFP: A key-value store for OCaml
- 2018-07-02 Funded PhD places
- 2018-05-30 Potential improvements in filesystem performance
- 2017-09-06 OCaml workshop talk: A B-tree library for OCaml
- 2017-09-06 ICFP most influential paper from 10 years ago
- 2017-05-30 OCaml workshop submission: A B-tree library for OCaml
- 2017-06-13 Interesting article on ext4 free space allocation
- 2017-03-16 tjr-btree: a CoW B-tree library in OCaml
- 2016-06-05 Do not buy TP-Link products
- 2016-05-27 Visit to Cambridge, for REMS workshop
- 2016-04-22 Visit to Denmark, to see Joergen Villadsen
- 2016-02-19 Tree-structured text
- 2016-02-09 Simple implementation of an Earley-like parsing algorithm
- 2016-01-27 Talk at York University
- 2016-01-06 Stephanie Heintz PhD viva
- 2015-10-05 SibylFS presentation at SOSP'15
- 2015-09-28 SibylFS SOSP poster
- 2015-09-21 SibylFS presentation to Industrial Advisory Board
- 2015-06-28 SOSP 2015 paper acceptance for SibylFS
- 2015-04-21 REMS Cambridge talk on SibylFS
- 2014-11-21 Talk on parsing at the University of Sussex
- 2014-09-26 P1 combinator parsing library for OCaml
- 2014-09-26 E3 earley parser library for OCaml
- 2014-09-18 SLE 2014 conference, and Parsing at SLE workshop, slides
- 2014-09-07 ICFP 2014, OCaml workshop, slides and video
- 2014-09-07 ICFP 2014, Lem talk
- 2014-07-11 P3 paper accepted for SLE 2014
- 2014-07-11 Lem paper accepted to ICFP 2014
- 2014-04-15 New release of P3 code on github
- 2014-03-02 New release of P3 code on github
- 2013-12-16 New release of P3 code on github
- 2013-12-03 Implementing algorithms efficiently
- 2013-11-24 Experience of using Lem
- 2013-11-13 PhD student course on logic, proof and mechanized theorem proving
- 2013-11-13 New website design
- 2013-11-13 Engineer position
- 2013-11-12 Netsem TCP/IP specification on github
- 2013-11-08 Talk on parsing and P3 given at Cambridge
- 2013-11-01 Funded PhD positions
- 2013-04-01 PhD position funded by Microsoft Research
- 2013-02-01 EPSRC grant funded