Lars Birkedal

Lars Birkedal

Aarhus University - Aarhus / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435313
Aarhus Universitet
person_outline Lars Birkedal's MOST POPULAR ARTICLES
1-) Iris from the ground up: A modular foundation for higher-order concurrent separation logicR Jung, R Krebbers, JH Jourdan, A Bizjak, L Birkedal, D DreyerJournal of Functional Programming 28, e20, 20183492018
2-) Iris: Monoids and invariants as an orthogonal basis for concurrent reasoningR Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ...ACM SIGPLAN Notices 50 (1), 637-650, 20153452015
3-) Views: compositional reasoning for concurrent programsT Dinsdale-Young, L Birkedal, P Gardner, M Parkinson, H YangProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of …, 20132032013
4-) Impredicative concurrent abstract predicatesK Svendsen, L BirkedalProgramming Languages and Systems: 23rd European Symposium on Programming …, 20142172014
5-) First steps in synthetic guarded domain theory: step-indexing in the topos of treesL Birkedal, RE Møgelberg, J Schwinghammer, K StøvringLogical Methods in Computer Science 8, 20122162012