Design patterns in separation logic. - Neelakantan R. Krishnaswami; Jonathan Aldrich; Lars Birkedal; Kasper Svendsen; Alexandre Buisse (TLDI, 2009)

Verifying Generics and Delegates. - Kasper Svendsen; Lars Birkedal; Matthew J. Parkinson (ECOOP, 2010)

Partiality, State and Dependent Types. - Kasper Svendsen; Lars Birkedal; Aleksandar Nanevski (TLCA, 2011)

Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library. - Kasper Svendsen; Lars Birkedal; Matthew J. Parkinson (ECOOP, 2013)

Modular Reasoning about Separation of Concurrent Data Structures. - Kasper Svendsen; Lars Birkedal; Matthew J. Parkinson (ESOP, 2013)

Impredicative Concurrent Abstract Predicates. - Kasper Svendsen; Lars Birkedal (ESOP, 2014)

A Separation Logic for Fictional Sequential Consistency. - Filip Sieczkowski; Kasper Svendsen; Lars Birkedal; Jean Pichon-Pharabod (ESOP, 2015)

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. - Ralf Jung 002; David Swasey; Filip Sieczkowski; Kasper Svendsen; Aaron Turon; Lars Birkedal; Derek Dreyer (POPL, 2015)

Transfinite Step-Indexing: Decoupling Concrete and Logical Steps. - Kasper Svendsen; Filip Sieczkowski; Lars Birkedal (ESOP, 2016)

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic. - Mike Dodds; Suresh Jagannathan; Matthew J. Parkinson; Kasper Svendsen; Lars Birkedal (ACM Trans. Program. Lang. Syst., 2016)

A relational model of types-and-effects in higher-order concurrent separation logic. - Morten Krogh-Jespersen; Kasper Svendsen; Lars Birkedal (POPL, 2017)

Trace Properties from Separation Logic Specifications. - Lars Birkedal; Thomas Dinsdale-Young; Guilhem Jaber; Kasper Svendsen; Nikos Tzevelekos (CoRR, 2017)

A Separation Logic for a Promising Semantics. - Kasper Svendsen; Jean Pichon-Pharabod; Marko Doko; Ori Lahav 001; Viktor Vafeiadis (ESOP, 2018)

Compositional Non-interference for Concurrent Programs via Separation and Framing. - Aleksandr Karbyshev; Kasper Svendsen; Aslan Askarov; Lars Birkedal (POST, 2018)

Theorems for free from separation logic specifications. - Lars Birkedal; Thomas Dinsdale-Young; Armaël Guéneau; Guilhem Jaber; Kasper Svendsen; Nikos Tzevelekos (Proc. ACM Program. Lang., 2021)