Kasper Svendsen

According to our database, Kasper Svendsen authored at least 15 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

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

2018

Compositional Non-interference for Concurrent Programs via Separation and Framing.

Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

A Separation Logic for a Promising Semantics.

Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 2018

2017

Trace Properties from Separation Logic Specifications.

Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos

CoRR, 2017

A relational model of types-and-effects in higher-order concurrent separation logic.

Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

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

Transfinite Step-Indexing: Decoupling Concrete and Logical Steps.

Kasper Svendsen, Filip Sieczkowski, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2016

2015

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

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

A Separation Logic for Fictional Sequential Consistency.

Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod

Proceedings of the Programming Languages and Systems, 2015

2014

Impredicative Concurrent Abstract Predicates.

Kasper Svendsen, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2014

2013

Modular Reasoning about Separation of Concurrent Data Structures.

Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson

Proceedings of the Programming Languages and Systems, 2013

Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library.

Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2011

Partiality, State and Dependent Types.

Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2010

Verifying Generics and Delegates.

Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson

Proceedings of the ECOOP 2010, 2010

2009

Design patterns in separation logic.

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009