| 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 | 507 | 2015 |
| Impredicative Concurrent Abstract Predicates K Svendsen, L Birkedal Programming Languages and Systems, 149-168, 2014 | 223 | 2014 |
| Modular reasoning about separation of concurrent data structures K Svendsen, L Birkedal, M Parkinson European Symposium on Programming, 169-188, 2013 | 93 | 2013 |
| 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 | 68 | 2018 |
| 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 | 55 | 2017 |
| 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 | 48 | 2009 |
| 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 | 32 | 2021 |
| 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 | 30 | 2015 |
| 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 | 29 | 2020 |
| Verifying generics and delegates K Svendsen, L Birkedal, M Parkinson European Conference on Object-Oriented Programming, 175-199, 2010 | 26 | 2010 |
| Transfinite step-indexing: Decoupling concrete and logical steps K Svendsen, F Sieczkowski, L Birkedal European Symposium on Programming, 727-751, 2016 | 23 | 2016 |
| 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 | 23 | 2016 |
| 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 | 22 | 2018 |
| Partiality, state and dependent types K Svendsen, L Birkedal, A Nanevski International Conference on Typed Lambda Calculi and Applications, 198-212, 2011 | 14 | 2011 |
| 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 | 13 | 2013 |
| Higher-order concurrent abstract predicates K Svendsen, L Birkedal, M Parkinson Modular specification and verification for higher-order languages with state …, 2012 | 7 | 2012 |
| A Logical Account of a Type-and-Effect System M Krogh-Jespersen, K Svendsen, L Birkedal POPL, 2017 | 5 | 2017 |
| 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 | 5 | 2012 |
| Modular specification and verification for higher-order languages with state K Svendsen IT University of Copenhagen, Software and Systems, 2013 | 4 | 2013 |
| Verifying generics and delegates (technical appendix) K Svendsen, L Birkedal, M Parkinson Modular specification and verification for higher-order languages with state, 49, 2012 | 3 | 2012 |
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
