Follow
Kasper Svendsen
Kasper Svendsen
Department of Computer Science, Aarhus University
Verified email at itu.dk - Homepage
Title
Cited by
Cited by
Year
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
R Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ...
POPL 2015, 2015
3782015
Impredicative Concurrent Abstract Predicates
K Svendsen, L Birkedal
Programming Languages and Systems, 149-168, 2014
1952014
Modular reasoning about separation of concurrent data structures
K Svendsen, L Birkedal, M Parkinson
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
862013
A separation logic for a promising semantics
K Svendsen, J Pichon-Pharabod, M Doko, O Lahav, V Vafeiadis
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
562018
A relational model of types-and-effects in higher-order concurrent separation logic
M Krogh-Jespersen, K Svendsen, L Birkedal
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
522017
Design patterns in separation logic
NR Krishnaswami, J Aldrich, L Birkedal, K Svendsen, A Buisse
Proceedings of the 4th international workshop on Types in language design …, 2009
432009
A separation logic for fictional sequential consistency
F Sieczkowski, K Svendsen, L Birkedal, J Pichon-Pharabod
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
252015
Verifying generics and delegates
K Svendsen, L Birkedal, M Parkinson
European Conference on Object-Oriented Programming, 175-199, 2010
252010
Verifying custom synchronization constructs using higher-order separation logic
M Dodds, S Jagannathan, MJ Parkinson, K Svendsen, L Birkedal
ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (2), 1-72, 2016
202016
Design and evaluation of a VR training simulation for pump maintenance
F Winther, L Ravindran, KP Svendsen, T Feuchtner
Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing …, 2020
192020
Compositional non-interference for concurrent programs via separation and framing
A Karbyshev, K Svendsen, A Askarov, L Birkedal
Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018
182018
Transfinite step-indexing: Decoupling concrete and logical steps
K Svendsen, F Sieczkowski, L Birkedal
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
182016
Theorems for free from separation logic specifications
L Birkedal, T Dinsdale-Young, A Guéneau, G Jaber, K Svendsen, ...
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
142021
Partiality, state and dependent types
K Svendsen, L Birkedal, A Nanevski
International Conference on Typed Lambda Calculi and Applications, 198-212, 2011
132011
Joins: A case study in modular specification of a concurrent reentrant higher-order library
K Svendsen, L Birkedal, M Parkinson
European Conference on Object-Oriented Programming, 327-351, 2013
122013
Higher-order concurrent abstract predicates
K Svendsen, L Birkedal, M Parkinson
Modular specification and verification for higherorder languages with state, 108, 2012
72012
A Logical Account of a Type-and-Effect System
M Krogh-Jespersen, K Svendsen, L Birkedal
POPL, 2017
52017
Verification of the joins library in higher-order separation logic
K Svendsen, L Birkedal, M Parkinson
Modular specification and verification for higher-order languages with state …, 2012
52012
Verifying generics and delegates (technical appendix)
K Svendsen, L Birkedal, M Parkinson
Modular specification and verification for higher-order languages with state, 49, 2012
32012
Modular specification and verification for higher-order languages with state
K Svendsen
IT-Universitetet i København, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20