Kasper Svendsen

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