hawblitzel-2015-ironfleet:
  type: article
  title: 'IronFleet: proving practical distributed systems correct'
  author:
  - Hawblitzel, Chris
  - Howell, Jon
  - Kapritsos, Manos
  - Lorch, Jacob R.
  - Parno, Bryan
  - Roberts, Michael L.
  - Setty, Srinath
  - Zill, Brian
  date: 2015-10
  page-range: 1-17
  url: http://dx.doi.org/10.1145/2815400.2815428
  serial-number:
    doi: 10.1145/2815400.2815428
  parent:
    type: proceedings
    title: Proceedings of the 25th Symposium on Operating Systems Principles
    publisher: ACM
    parent:
      type: proceedings
      title: SOSP ’15