Person. David Swasey Riverside Research · 0009-0008-2152-3966 Papers Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning jung-2015-irisPOPL · 2015 PDF · DOI · pldb