@inproceedings{OConnor_CRALMNSK_16,
    address          = {Nara, Japan},
    author           = {O'Connor, Liam and Chen, Zilin and Rizkallah, Christine and Amani, Sidney and Lim, Japheth and
                        Murray, Toby and Nagashima, Yutaka and Sewell, Thomas and Klein, Gerwin},
    booktitle        = {International Conference on Functional Programming},
    keywords         = {verification; semantics; linear types; programming languages; file systems; isabelle/hol},
    month            = sep,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9425.pdf},
    title            = {Refinement Through Restraint: Bringing Down the Cost of Verification},
    year             = {2016}
  }