Travelled to:1 × India
1 × Italy
1 × Serbia
1 × Slovenia
1 × United Kingdom
2 × France
Collaborated with:L.Birkedal M.J.Parkinson F.Sieczkowski J.Pichon-Pharabod A.Nanevski Morten Krogh-Jespersen M.Doko O.Lahav V.Vafeiadis R.Jung D.Swasey A.Turon D.Dreyer
Talks about:concurr (5) separ (4) logic (4) modular (2) reason (2) higher (2) order (2) type (2) step (2) transfinit (1)
Person: Kasper Svendsen
DBLP: Svendsen:Kasper
Contributed to:
2015
20152014
20132013
20112010201620182017Wrote 10 papers:
- ESOP-2015-SieczkowskiSBP #consistency #logic
- A Separation Logic for Fictional Sequential Consistency (FS, KS, LB, JPP), pp. 736–761.
- 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.
- ESOP-2014-SvendsenB #concurrent
- Impredicative Concurrent Abstract Predicates (KS, LB), pp. 149–168.
- ECOOP-2013-SvendsenBP #case study #composition #concurrent #higher-order #library #named #specification
- Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library (KS, LB, MJP), pp. 327–351.
- ESOP-2013-SvendsenBP #composition #concurrent #data type #reasoning
- Modular Reasoning about Separation of Concurrent Data Structures (KS, LB, MJP), pp. 169–188.
- TLCA-2011-SvendsenBN #dependent type
- Partiality, State and Dependent Types (KS, LB, AN), pp. 198–212.
- ECOOP-2010-SvendsenBP #verification
- Verifying Generics and Delegates (KS, LB, MJP), pp. 175–199.
- ESOP-2016-SvendsenSB #logic
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (KS, FS, LB), pp. 727–751.
- ESOP-2018-SvendsenPDLV #logic #semantics
- A Separation Logic for a Promising Semantics (KS, JPP, MD, OL, VV), pp. 357–384.
- POPL-2017-Krogh-Jespersen #concurrent #higher-order #logic #relational
- A relational model of types-and-effects in higher-order concurrent separation logic (MKJ, KS, LB), pp. 218–231.