Kasper Svendsen
Kasper Svendsen
Department of Computer Science, Aarhus University
E-mail confirmado em itu.dk - Página inicial
Título
Citado por
Citado por
Ano
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
2192015
Impredicative Concurrent Abstract Predicates
K Svendsen, L Birkedal
Programming Languages and Systems, 149-168, 2014
1532014
Modular reasoning about separation of concurrent data structures
K Svendsen, L Birkedal, M Parkinson
European Symposium on Programming, 169-188, 2013
582013
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
332017
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
232018
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
212015
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
Transfinite step-indexing: Decoupling concrete and logical steps
K Svendsen, F Sieczkowski, L Birkedal
European Symposium on Programming, 727-751, 2016
142016
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
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
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
32020
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
Analyzing Action Semantics
K Svendsen
Informatics and Mathematical Modelling, Technical University of Denmark, Kgs …, 2007
12007
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20