@inproceedings{Keller_MAOCRKH_13,
    address          = {Farmington, Pennsylvania, USA},
    author           = {Keller, Gabriele and Murray, Toby and Amani, Sidney and O'Connor, Liam and Chen, Zilin and Ryzhyk,
                        Leonid and Klein, Gerwin and Heiser, Gernot},
    booktitle        = {Workshop on Programming Languages and Operating Systems (PLOS)},
    doi              = {10.1145/2525528.2525530},
    month            = nov,
    pages            = {1--7},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7248.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/7248.pdf},
    title            = {File Systems Deserve Verification Too!},
    year             = {2013}
  }