| 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 | 340 | 2015 |
| Impredicative Concurrent Abstract Predicates K Svendsen, L Birkedal Programming Languages and Systems, 149-168, 2014 | 191 | 2014 |
| Modular reasoning about separation of concurrent data structures K Svendsen, L Birkedal, M Parkinson Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 81 | 2013 |
| 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 | 50 | 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 | 50 | 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 | 42 | 2009 |
| 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 | 24 | 2015 |
| Verifying generics and delegates K Svendsen, L Birkedal, M Parkinson ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010 | 23 | 2010 |
| 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 | 19 | 2016 |
| Transfinite step-indexing: Decoupling concrete and logical steps K Svendsen, F Sieczkowski, L Birkedal Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 18 | 2016 |
| 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 | 16 | 2018 |
| 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 | 15 | 2020 |
| Joins: A case study in modular specification of a concurrent reentrant higher-order library K Svendsen, L Birkedal, M Parkinson ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013 | 12 | 2013 |
| Partiality, state and dependent types K Svendsen, L Birkedal, A Nanevski Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011 | 12 | 2011 |
| Theorems for free from separation logic specifications. L Birkedal, T Dinsdale-Young, A Guéneau, G Jaber, K Svendsen, ... Proc. ACM Program. Lang. 5 (ICFP), 1-29, 2021 | 10 | 2021 |
| 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 |
| 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 |
| Verifying design patterns in Hoare Type Theory K Svendsen, A Buisse, L Birkedal IT University of Copenhagen, 2008 | 2 | 2008 |
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
