| 2018 | ESOP | A Separation Logic for a Promising Semantics. | Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis |
| 2017 | POPL | A relational model of types-and-effects in higher-order concurrent separation logic. | Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal |
| 2016 | ESOP | Transfinite Step-Indexing: Decoupling Concrete and Logical Steps. | Kasper Svendsen, Filip Sieczkowski, Lars Birkedal |
| 2015 | ESOP | A Separation Logic for Fictional Sequential Consistency. | Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod |
| 2015 | POPL | Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. | Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer |
| 2014 | ESOP | Impredicative Concurrent Abstract Predicates. | Kasper Svendsen, Lars Birkedal |
| 2013 | ECOOP | Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library. | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
| 2013 | ESOP | Modular Reasoning about Separation of Concurrent Data Structures. | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
| 2010 | ECOOP | Verifying Generics and Delegates. | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |