Kasper Svendsen
Kasper Svendsen
Department of Computer Science, Aarhus University
Geverifieerd e-mailadres voor itu.dk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
2072015
Impredicative Concurrent Abstract Predicates
K Svendsen, L Birkedal
Programming Languages and Systems, 149-168, 2014
1472014
Modular reasoning about separation of concurrent data structures
K Svendsen, L Birkedal, M Parkinson
European Symposium on Programming, 169-188, 2013
572013
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
362009
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
322017
A separation logic for a promising semantics
K Svendsen, J Pichon-Pharabod, M Doko, O Lahav, V Vafeiadis
European Symposium on Programming, 357-384, 2018
202018
A separation logic for fictional sequential consistency
F Sieczkowski, K Svendsen, L Birkedal, J Pichon-Pharabod
European Symposium on Programming Languages and Systems, 736-761, 2015
202015
Verifying generics and delegates
K Svendsen, L Birkedal, M Parkinson
European Conference on Object-Oriented Programming, 175-199, 2010
182010
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
152016
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
112013
Partiality, state and dependent types
K Svendsen, L Birkedal, A Nanevski
International Conference on Typed Lambda Calculi and Applications, 198-212, 2011
112011
Transfinite step-indexing: Decoupling concrete and logical steps
K Svendsen, F Sieczkowski, L Birkedal
European Symposium on Programming, 727-751, 2016
102016
Compositional non-interference for concurrent programs via separation and framing
A Karbyshev, K Svendsen, A Askarov, L Birkedal
International Conference on Principles of Security and Trust, 53-78, 2018
82018
Higher-order Concurrent Abstract Predicates
K Svendsen, L Birkedal, M Parkinson
Modular specification and verification for higher-order languages with state …, 2012
62012
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
22012
Verifying design patterns in Hoare Type Theory
K Svendsen, A Buisse, L Birkedal
Technical Report ITU-TR-2008-112, IT University of Copenhagen, 2008
22008
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
12020
Analyzing Action Semantics
K Svendsen
Informatics and Mathematical Modelling, Technical University of Denmark, Kgs …, 2007
12007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20