Kasper Svendsen

15 papers A* 2A 7Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2021 J jnl
Theorems for free from separation logic specifications.
Proc. ACM Program. Lang.
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
2018 A conf
A Separation Logic for a Promising Semantics.
ESOP
Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis
2018 — conf
Compositional Non-interference for Concurrent Programs via Separation and Framing.
POST
Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal
2017 A* conf
A relational model of types-and-effects in higher-order concurrent separation logic.
POPL
Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal
2017 J jnl
Trace Properties from Separation Logic Specifications.
CoRR
Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
2016 A conf
Transfinite Step-Indexing: Decoupling Concrete and Logical Steps.
ESOP
Kasper Svendsen, Filip Sieczkowski, Lars Birkedal
2016 J jnl
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic.
ACM Trans. Program. Lang. Syst.
Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal
2015 A conf
A Separation Logic for Fictional Sequential Consistency.
ESOP
Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod
2015 A* conf
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.
POPL
Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
2014 A conf
Impredicative Concurrent Abstract Predicates.
ESOP
Kasper Svendsen, Lars Birkedal
2013 A conf
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library.
ECOOP
Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson
2013 A conf
Modular Reasoning about Separation of Concurrent Data Structures.
ESOP
Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson
2011 — conf
Partiality, State and Dependent Types.
TLCA
Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski
2010 A conf
Verifying Generics and Delegates.
ECOOP
Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson
2009 — conf
Design patterns in separation logic.
TLDI
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse