Travelled to:1 × India
Collaborated with:D.Dreyer D.G.0001 R.Jung F.Sieczkowski K.Svendsen A.Turon L.Birkedal
Talks about:orthogon (1) composit (1) pattern (1) concurr (1) robust (1) reason (1) object (1) monoid (1) invari (1) capabl (1)
Person: David Swasey
DBLP: Swasey:David
Contributed to:
2015
2017Wrote 2 papers:
- POPL-2015-JungSSSTBD #concurrent #invariant #monad #named #orthogonal #reasoning
- Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (RJ, DS, FS, KS, AT, LB, DD), pp. 637–650.
- OOPSLA-2017-Swasey0D #composition #robust #verification
- Robust and compositional verification of object capability patterns (DS, DG0, DD), p. 26.