Kasper Svendsen

Available identifiers

zbMath Open svendsen.kasperMaRDI QIDQ2323982

List of research outcomes

Publication	Date of Publication	Type
Compositional non-interference for concurrent programs via separation and framing	2019-09-16	Paper
A separation logic for a promising semantics	2019-09-13	Paper
A relational model of types-and-effects in higher-order concurrent separation logic	2017-10-20	Paper
Iris: monoids and invariants as an orthogonal basis for concurrent reasoning	2016-09-29	Paper
A Separation Logic for Fictional Sequential Consistency	2016-04-26	Paper
Transfinite Step-Indexing: Decoupling Concrete and Logical Steps	2016-04-26	Paper
Impredicative Concurrent Abstract Predicates	2014-04-16	Paper
Modular Reasoning about Separation of Concurrent Data Structures	2013-08-05	Paper
Partiality, State and Dependent Types	2011-06-17	Paper

Research outcomes over time

This page was built for person: Kasper Svendsen