Kasper Svendsen

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 9

Top Topics

Relational Models

Orthogonal Basis

Classical Logic

Concurrent Programs

Top Venues

Proc. ACM Program. Lang.

Publications

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