BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Svendsen:Kasper

Contributed to:

ESOP 20152015
POPL 20152015
ESOP 20142014
ECOOP 20132013
ESOP 20132013
TLCA 20112011
ECOOP 20102010
ESOP 20162016
ESOP 20182018
POPL 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.