Kasper Svendsen

zbMath Opensvendsen.kasperMaRDI QIDQ2323982

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Iris: monoids and invariants as an orthogonal basis for concurrent reasoning Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper
A separation logic for fictional sequential consistency Programming Languages and Systems	2016-04-26	Paper
Transfinite step-indexing: decoupling concrete and logical steps Programming Languages and Systems	2016-04-26	Paper
Impredicative concurrent abstract predicates Programming Languages and Systems	2014-04-16	Paper
Modular reasoning about separation of concurrent data structures Programming Languages and Systems	2013-08-05	Paper
Partiality, state and dependent types Lecture Notes in Computer Science	2011-06-17	Paper

Research outcomes over time

This page was built for person: Kasper Svendsen