jung-2015-iris:
  type: article
  title: 'Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning'
  author:
  - Jung, Ralf
  - Swasey, David
  - Sieczkowski, Filip
  - Svendsen, Kasper
  - Turon, Aaron
  - Birkedal, Lars
  - Dreyer, Derek
  date: 2015-01
  page-range: 637-650
  url: http://dx.doi.org/10.1145/2676726.2676980
  serial-number:
    doi: 10.1145/2676726.2676980
  parent:
    type: proceedings
    title: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    publisher: ACM
    parent:
      type: proceedings
      title: POPL ’15